C++20及以后是否支持类成员模板函数显式特化？代码合规性咨询

C++20及以后标准是否允许类成员模板函数的显式特化？ #

C20及更高标准允许在类作用域内显式特化成员模板，但有严格的语法约束。在此之前的C标准（C++17及更早）则禁止在非命名空间作用域（即类内部）进行成员模板的显式特化。

你的代码是否符合最新C++标准？若不符合，原因是什么？ #

你的代码不符合C++20标准，存在两个关键问题：

1. 显式特化时重复指定存储类static
   主模板已经声明了static属性，显式特化的成员函数会自动继承该属性，无需再次指定。你在特化代码中重复写static constexpr违反了标准规则，这也是Clang抛出警告explicit specialization cannot have a storage class的原因。

2. GCC编译报错的额外原因
   如果编译时未指定-std=c++20或更高版本，GCC会遵循C17及更早的规则，禁止在类内部显式特化成员模板，因此报错error: explicit specialization in non-namespace scope。即使开启了C20，部分旧版本的GCC对该特性的支持也可能不完全。

修正方案 #

方案1：符合C++20标准的类内特化

去掉特化代码中的static关键字，确保编译时开启C++20：

#include <stdint.h>

enum class E : uint8_t
{
  E1,
  E2
};

struct E_Description
{
    template <E>
    static constexpr auto to_string () noexcept;

    template <>
    constexpr auto to_string<E::E1> () noexcept
    {
        return "E::E1";
    }
    
    template <>
    constexpr auto to_string<E::E2> () noexcept
    {
        return "E::E2";
    }
};

int main()
{
    auto str{ E_Description::to_string<E::E1>() };
}

方案2：兼容所有C++标准的类外特化

将显式特化代码移到类外部的命名空间作用域，此写法兼容C++11及以后所有标准：

#include <stdint.h>

enum class E : uint8_t
{
  E1,
  E2
};

struct E_Description
{
    template <E>
    static constexpr auto to_string () noexcept;
};

template <>
constexpr auto E_Description::to_string<E::E1>() noexcept
{
    return "E::E1";
}

template <>
constexpr auto E_Description::to_string<E::E2>() noexcept
{
    return "E::E2";
}

int main()
{
    auto str{ E_Description::to_string<E::E1>() };
}

内容的提问来源于stack exchange，提问作者TobiasLange