注意：我使用的是gcc，但在godbolt.org上进行了测试，它也可以在msvc上运行，但不能在clang上运行

我无意中发现，以下简单函数在模板类中编译，但不是作为自由函数编译。有人能解释一下原因吗？

编译OK：

   template <typename T = void>
   class A
   {
   public:
      static constexpr std::string f()
      {
         return std::string();
      }
   }

不编译：

    constexpr std::string f()
    {
        return std::string();
    }

抛出错误:

error: invalid return type ‘std::string’ {aka ‘std::__cxx11::basic_string<char>’} of ‘constexpr’ function ...
...
/usr/include/c++/9/bits/basic_string.h:77:11: note: ‘std::__cxx11::basic_string<char>’ is not literal because:
   77 |     class basic_string
      |           ^~~~~~~~~~~~
/usr/include/c++/9/bits/basic_string.h:77:11: note:   ‘std::__cxx11::basic_string<char>’ has a non-trivial destructor