別名模板，局部特殊化和無效參數類型爲void

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<void(int)>。

現在，考慮以下變化：

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

我希望它來編譯，對於類似於上面提到的那些原因。
不言而喻，它並沒有因爲涉及Alias行的編譯，而不是我的錯誤：

In substitution of 'template using Alias = S [with Args = {void}]'

[...]

error: invalid parameter type 'void'

的問題很簡單：我錯過了這裏？

Answer 1

從[dcl.fct]，重點煤礦：

A parameter list consisting of a single unnamed parameter of non-dependent type void is equivalent to an empty parameter list. Except for this special case, a parameter shall not have type cvvoid .

在這種情況下，Args...是一個依賴型包，所以void不允許存在。這個想法是在重複一個音符[temp.deduct]：

[ Note: Type deduction may fail for the following reasons:
— [...]
— Attempting to create a function type in which a parameter has a type of void , or in which the return type is a function type or array type.
— [...]
—end note ]

注意S<void(void)>編譯自void(void)非依賴性和相當於void()，所以Ret(Args...)永遠不會得出有參數列表void - 它推斷爲Args...爲空。

---

至少有一個簡單的解決方法，您可以只寫Alias<>。