关于SFINAE中C++模板函数方括号参数语法的技术问询

嘿，这个SFINAE的写法初看确实有点让人头大，我来一步步给你拆解明白：

我们把这个类型拆成两部分来理解：

• 首先，char[N] 是一个包含N个char元素的数组类型；
• 然后，char(*)[N] 代表指向这种数组的指针类型（括号不能少，不然就变成返回char的函数指针了）。

这里的N是编译期表达式 I % 2 == 0：因为I是模板的非类型参数（template <int I>），所以这个表达式会在编译时直接算出结果——要么是true，要么是false。而C++里布尔值可以隐式转成整数：true对应1，false对应0。

为什么用这个实现SFINAE？ #

SFINAE的核心规则是：如果模板参数替换后，代码里出现了无效的类型/表达式，编译器不会报错，而是直接忽略这个重载，去尝试其他候选函数。

这里的逻辑就很清晰了：

• 当I是偶数时：I%2==0为true→1，参数类型变成char(*)[1]（指向1个char的数组的指针），这是合法类型；而另一个重载里的I%2==1是false→0，char(*)[0]是无效的数组类型（C++不允许大小为0的数组作为指针的目标类型），所以这个重载会被编译器直接排除，最终选中偶数对应的div。
• 当I是奇数时：反过来，I%2==1为true→1，对应的重载有效；偶数的那个重载因为I%2==0是false→0，类型无效被排除，选中奇数的div。

为什么要加 =0？ #

这是给这个指针参数设置默认值。我们调用这个函数的时候，肯定不想手动去构造一个指向对应数组的指针（比如总不能每次都写div<4>(nullptr)吧），而0是空指针常量，可以隐式转换成任何指针类型，这样我们直接写div<4>()就能合法调用，编译器会自动用0填充这个参数。

举个实际调用的例子：

div<2>(); // 调用偶数版本，奇数版本因类型无效被SFINAE排除
div<3>(); // 调用奇数版本，偶数版本同理被排除

本质上，这是用编译期数组大小的合法性，配合SFINAE机制，实现了根据模板参数奇偶性自动选择重载的效果。

内容的提问来源于stack exchange，提问作者Hannes Hertach