使用字符串模板参数的模板类的部分专业化

Question

#include <iostream>

template<unsigned N>
struct FixedString 
{
    char buf[N + 1]{};
    constexpr FixedString(const char (&s)[N]) 
    {
        for (unsigned i = 0; i != N; ++i)
            buf[i] = s[i];
    }
};

template<int, FixedString name>
class Foo 
{
public:
    auto hello() const { return name.buf; }
};

template<FixedString name>
class Foo<6, name>
{
public:
    auto hello() const { return name.buf; }
};

int main() 
{
    Foo<6, "Hello!"> foo;
    foo.hello();
}

我正在尝试添加一个模板专业foo＆lt; 6，name＆gt;它以此错误结束：

macros.h: At global scope:
macros.h:3:18: error: class template argument deduction failed:
 23 | class Foo<6, name>
      |                  ^
macros.h:3:18: error: no matching function for call to ‘FixedString(FixedString<...auto...>)’
macros.h:7:15: note: candidate: ‘template<unsigned int N> FixedString(const char (&)[N])-> FixedString<N>’
 7 |     constexpr FixedString(const char (&s)[N])
      |               ^~~~~~~~~~~
macros.h:7:15: note:   template argument deduction/substitution failed:
macros.h:13:18: note:   mismatched types ‘const char [N]’ and ‘FixedString<...auto...>’
 23 | class Foo<6, name>
      |                  ^
macros.h:4:8: note: candidate: ‘template<unsigned int N> FixedString(FixedString<N>)-> FixedString<N>’
 4 | struct FixedString
      |        ^~~~~~~~~~~
macros.h:4:8: note:   template argument deduction/substitution failed:
macros.h:13:18: note:   mismatched types ‘FixedString<N>’ and ‘FixedString<...auto...>’
 23 | class Foo<6, name>

使用字符串模板参数专业的模板类的正确方法是什么？ G ++（Ubuntu 9.4.0-1ubuntu1〜16.04）9.4.0

Answer 1

使用字符串模板参数专业化模板类的正确方法是什么？

给定的代码形成良好（在C ++ 20中），但对于GCC 10.2且较低的编译。然而，它可以从GCC 10.3及更高的GCC中汇总。 demo

可能是由于并非所有C ++ 20个功能都在GCC 10.2中完全实现，并且较低。