加入 SO 后，每当我打开讨论模板的主题时，我都会经常看到这种语法。我尝试在谷歌上搜索，但徒劳无功。
template<typename T>
char (&f(T[1]))[1]; //what is it? what is the use of '[]' brackets and the integer in it?
template<typename T>
char (&f(...))[2]; //not this either
int main() { char c[sizeof(f<void()>(0)) == 2]; } // and this?
从这里：SFINAE with invalid function-type or array-type parameters?
请解释我放置 cmets 的 3 行。我特别想了解语法。我们可以只在模板中使用这样的语法吗？
【问题讨论】：
以下两个是等价的
// 1
template<typename T>
char (&f(...))[2];
// 2
typedef char rettype[2];
template<typename T>
rettype &f(...);
您之前可能已经使用函数指针看到过这种模式
char (*XXX)();
现在只需将() 替换为[N] 以创建数组而不是函数部分，并将@987654325@ 替换为& 以创建引用而不是指针，并将XXX 替换为a函数声明器。然后你会得到一个函数，它返回对大小为N 的数组的引用。
您可能想查看man signal，它包含一个类似类型的函数声明。如果你取出实际声明函数的内部声明符，你会得到相同的模式
void (* signal(int sig, void (*func)(int)) )(int);
// ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ take out that
它将返回一个指向函数的指针，该函数接受int 并返回void，如该手册页中所述。
以下只是产生编译器错误的一种方法如果某些条件不满足。 如果测试foo == 2 变成false，则创建的数组大小为零，这在C++ 中是非法的，并且会产生编译时错误。如果它的计算结果为真，除了声明的数组之外什么都不会发生。
char c[some silly condition here];
【讨论】：
assert() 在运行时检查布尔条件。使用此方法，您可以在编译时检查布尔条件。例如，char c[CHAR_BIT==8] 明确表示您的程序无法处理具有 CHAR_BIT==9 的编译器
func(int[5] arg)，它给出了错误。