模板参数类型“void”与“void”的显式使用`

Question

在下面的代码中，为什么模板函数的显式扩展无法编译，而条形扩展却成功编译？实时链接-https://godbolt.org/z/o8Ea49KEb

template <typename T1, typename T2>
T1 foo(T2) { T2(42); return T1{}; };

template <typename T1, typename T2>
T1 bar(void) { T2(42); return T1{}; };

int main()
{
    foo<int, void>();    // fails

    bar<int, void>();    // works
}

请注意，这两个函数的主体中都使用了模板参数T2，唯一的区别是已手动替换条形图的函数参数。

这个问题是在阅读了std::c条件-无效参数类型“无效”后提出的，即使在测试“无效”并试图简化问题时也是如此。

Answer 1

考虑以下因素：

template<typename T>
void foo(T) {}

void bar(void) {}

您假设

在函数签名ulualbar（ulul）中，括号中的ulul表示不同的东西：没有参数的函数。这是C的残余，不推荐使用。

函数栏

模板函数的解决方案是为模板实例化非法的情况提供重载或专门化。

template<typename T>
void foo(T) {} // one argument

void foo() {}  // no arguments -> different signatures -> overload

template<typename T> 
void bar() {}  // no arguments

template<>
void bar<void> {} // still no arguments -> same signature -> specialisation

Answer 2

表示参数列表（void）的规则与C标准中的空参数列表相同

由单个非依赖类型的未命名参数组成的参数列表等效于空参数列表。除此特殊情况外，参数的类型不得为cv。

这个问题的重要部分是“非依赖型”。模板参数T取决于类型，因此它不会触发规则。

我假设Standard有这个规则，因为如果一个通常接受一个参数的模板函数突然变成一个零参数函数，如果实例化恰好使该参数类型val，它也会非常混乱（我会说更糟）。有了这个规则，我们知道当一个模板用一个参数声明时，它真的有一个参数。