别名模板、局部特化和无效参数类型val

Question

考虑以下代码：

template<typename F>
struct S;

template<typename Ret, typename... Args>
struct S<Ret(Args...)> { };

template<typename... Args>
using Alias = S<void(Args...)>;

int main() {
    S<void(int)> s;
    Alias<int> alias;
}

它工作正常，正如预期的那样，涉及S的行和涉及Alias的行都在引擎盖下定义了相同类型的S

现在，考虑以下更改：

int main() {
    S<void(void)> s;  // this line compiles
    Alias<void> alias;  // this line does not
}

我希望它能够编译，原因与上面提到的类似
不用说，它没有编译，因为这行涉及别名，相反，我得到了错误：

替换“模板使用别名=S[参数={void}]”

[…]

错误：无效的参数类型“void”

问题很简单：我错过了什么？




Answer 1

源自[dcl.fct]，强调我的：

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

在这种情况下，Args...是一个依赖类型包，因此那里不允许val。这个想法在[temp.deduct]的注释中重复：

[注：类型扣减可能因以下原因失败：
-[…]
-试图创建一个函数类型，其中参数的类型为void，或返回类型为函数类型或数组类型
-[…]
-结束注释]

注意S

至少有一个简单的解决方法，您可以只编写Alias