引用"自动"功能作为模板参数

Question

这是重现问题的最小(C++ 14)代码:

template <void (&a)()>
struct Foo {
    static auto value() {}
};

void bar() {}

template struct Foo<Foo<bar>::value>;

GNU C++ "g ++(Ubuntu 5.1.0-0ubuntu11~14.04.1)5.1.0"编译器发出:

error: could not convert template argument ‘Foo<a>::value<bar>’ to ‘void (&)()’
 template struct Foo<Foo<bar>::value>;
                                    ^

我注意到的第一个奇怪的事情是Foo<a>::value<bar>- a没有被替换,并且value以某种方式成为模板？

以下无意义的修复增强了我的印象,这是一个编译器错误:

• 声明value()返回void而不是推断它
• "解除引用" value:template struct Foo<*Foo<bar>::value>;
• 括号内容value:template struct Foo<(Foo<bar>::value)>;
• 制作a指针:template <void (*a)()> struct Foo ...

最后,Clang编译我的片段很好.

那么,某个禁止第一个片段的地方是否有一个模糊的标准条款,或者GCC刚刚死在我身上？

Answer 1

此行为已被推断为一个错误，并已在GCC Bugzilla上归档。