空包的函子变量模板包展开在clang和g中给出了不同的结果

Question

以下代码使用clang 3.8.0成功编译，但使用g 7.2.0编译失败（使用编译标志）：

auto foo = [](auto functor, auto... argument_functors)
{
    functor(argument_functors()...);
};

auto do_nothing = [](auto...) {};


int main()
{
    foo(do_nothing);
}

g错误消息：

main.cpp: In instantiation of '<lambda(auto:1, auto:2 ...)> [with auto:1 = <lambda(auto:3, ...)>; auto:2 = {}]':
main.cpp:11:16:   required from here
main.cpp:3:9: error: no match for call to '(<lambda(auto:3, ...)>) ()'
  functor(argument_functors()...);
  ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~
main.cpp:6:29: note: candidate: template<class auto:3> <lambda(auto:3, ...)>::operator decltype (((const<lambda(auto:3, ...)>*)((const<lambda(auto:3, ...)>* const)0))->operator()(static_cast<auto:3&&>(<anonymous>))) (*)(auto:3, ...)() const <deleted>
 auto do_nothing = [](auto...) {};
                             ^
main.cpp:6:29: note:   template argument deduction/substitution failed:
main.cpp:3:9: note:   candidate expects 1 argument, 0 provided
  functor(argument_functors()...);
  ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~
main.cpp:6:29: note: candidate: template<class auto:3> <lambda(auto:3, ...)>
 auto do_nothing = [](auto...) {};
                             ^
main.cpp:6:29: note:   template argument deduction/substitution failed:
main.cpp:3:9: note:   candidate expects 1 argument, 0 provided
  functor(argument_functors()...);
  ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~

哪种编译器行为符合标准？

Answer 1

这是gcc错误64095。

来自【现金流量】/18：

当省略号出现在没有前面逗号的参数声明子句的末尾时，存在语法歧义。在这种情况下，如果参数的类型命名了尚未扩展的模板参数包或包含auto，则省略号将被解析为抽象声明子句的一部分；否则，它将被解析为参数声明子句的一部分。

基本上，参数列表中的（T...）可以解释为：

• 一个类型为T的未命名参数和一个省略号
• 函数参数包，具有模板参数包类型

如果T是一个模板参数包或auto，那么消歧规则应该倾向于后者，但gcc选择将其解释为省略号参数。