非类型模板参数不能具有类型

Question

对于将来遇到这个问题的人，最初的问题是：“如何从此article获取最简单的示例（点），以使用 GCC 或 CLANG ？”

• 编辑1显示了可能的最小代码，这些代码在CLANG失败，但在GCC编译（都使用-std = c ++ 2a）。
• 编辑2显示了添加的其他代码，这些代码也破坏了GCC。

文章（@BarryRevzin）的作者很客气地评论了尚无法解决的原因，谢谢巴里！

编辑1：

下面的简化代码适用于gcc 9.3.0，但不适用于clang 10.0.0：

struct Point {                                                                                                                                                                               
   int x = 0;                                                                                                                                                                                
   int y = 0;                                                                                                                                                                                
};                                                                                                                                                                                           

template <Point> // ok in C++20                                                                                                                                                              
void takes_tmpl_point();                                                                                                                                                                     

int main()                                                                                                                                                                                   
{
    // EMPTY
}

编辑2：

根据作者的说法，由于编译器稍稍落后于标准，原始代码目前仍无法在GCC或CLANG上运行。下面的原始代码：

struct Point {                                                                                                                                                                               
   int x = 0;                                                                                                                                                                                
   int y = 0;                                                                                                                                                                                
};                                                                                                                                                                                           

template <Point> // ok in C++20                                                                                                                                                              
void takes_tmpl_point();                                                                                                                                                                     

int main()                                                                                                                                                                                   
{                                                                                                                                                                                            
   takes_tmpl_point<{.x=1, .y=2}>(); // x=1, y=2
}

---

这将在GCC 9.3上导致以下编译错误：

test.cpp: In function ‘int main()’:
test.cpp:11:35: error: no matching function for call to ‘takes_tmpl_point<{1, 2}>()’
   11 |    takes_tmpl_point<{.x=1, .y=2}>(); // x=1, y=2
      |                                   ^
test.cpp:7:6: note: candidate: ‘template<Point <anonymous> > void takes_tmpl_point()’
    7 | void takes_tmpl_point();
      |      ^~~~~~~~~~~~~~~~
test.cpp:7:6: note:   template argument deduction/substitution failed:
test.cpp:11:35: error: could not convert ‘{1, 2}’ from ‘<brace-enclosed initializer list>’ to ‘Point’
   11 |    takes_tmpl_point<{.x=1, .y=2}>(); // x=1, y=2
      |                                   ^

---

还有clang 10.0.0的以下错误：

test.cpp:6:16: error: a non-type template parameter cannot have type 'Point'
template <Point> // ok in C++20
               ^
test.cpp:11:21: error: expected expression
   takes_tmpl_point<{.x=1, .y=2}>(); // x=1, y=2
                    ^
2 errors generated.

使用的编译器：

• clang：clang版本10.0.0-4ubuntu1
• gcc：gcc（Ubuntu 9.3.0-10ubuntu2）9.3.0

Answer 1

Clang尚未将类类型实现为非类型模板参数，请参见this table中的P1907。

gcc确实实现了它们，但实际上这里存在一个问题。 template-argument的语法实际上并不允许 braised-init-list 。这是一个明显的语言缺陷（P1907之前从来没有理由拥有这样的东西，但是现在肯定没有理由没有拥有它）。目前，这是一个语言错误。不过，gcc继续并支持 braced-init-list 作为模板参数...只是不支持 designated-initializer-list 。

因此，我的博客文章比实际语言要领先一点……直到该语言流行为止，即使在技术上不受支持：

takes_tmpl_point<{.x=1, .y=2}>(); 

这绝对是有效的：

takes_tmpl_point<Point{.x=1, .y=2}>();