C++ enable_if结合sizeof与逗号运算符的SFINAE编译原理疑问
为什么写法(B)会直接编译失败
这里首先要明确SFINAE规则的生效边界：只有函数模板实参推导阶段，即时上下文中发生的替换失败，才会被SFINAE过滤，不会触发硬编译错误。
你写的Test<int> t;这行代码，会先触发外层类模板Test的完整实例化——这个过程发生在你调用t.func(5)之前。
在这个类实例化的阶段，编译器会扫描类内所有的成员声明：
- 第一个
func的声明里，enable_if的条件直接用外层类参数T判断：对Test<int>来说，is_same_v<int, int>为真，对应类型有效。 - 第二个
func的声明里，同样直接用外层类参数T判断enable_if条件：对Test<int>来说，is_same_v<int, int>为假，enable_if_t会因为条件不匹配没有定义内部类型，直接生成无效的模板参数。
这个无效类型的错误，发生在类模板实例化阶段，根本没进入到func的实参推导流程，完全不在SFINAE的保护范围内，所以直接触发硬编译失败。
为什么写法(A)能正常编译
这里你以为是逗号运算符的特殊技巧，其实核心作用根本和逗号运算符的计算逻辑无关，真正起作用的是sizeof(Input)带来的延迟求值效果——强行把整个enable_if条件的求值时机，从类模板实例化阶段，推迟到func函数模板的实参推导阶段。
原理很简单：
sizeof的操作数是不求值的，编译器只要能确定操作数对应的类型大小就够，不会真的执行、也不会提前计算操作数里的逻辑。- 当编译器在类模板实例化阶段看到
(sizeof(Input), std::is_same_v<T,int>)这个表达式时，发现表达式里包含Input——也就是func这个函数模板自己的参数，此时Input的类型完全未知，根本算不出来sizeof(Input)的结果。按照C++模板的两阶段查找规则，这种依赖函数自身参数的表达式，必须等到实参推导阶段才能求值，编译器根本不会在类实例化阶段提前去算逗号后面的std::is_same_v<T,int>的判断，自然也就不会提前让enable_if因为条件不成立生成无效类型。
等到你实际调用t.func(5)的时候，编译器才会进入func的实参推导流程：把Input推导为int，这时候才会完成整个表达式的计算——先算sizeof(int)（无问题），再算逗号后面的is_same_v<T,int>判断，让两个func重载根据条件分别判定是否有效。整个过程完全发生在func的即时上下文中，替换失败会被SFINAE正常过滤，自然就不会触发硬编译错误。
和你尝试的F = T写法的共通逻辑
你之前试的加typename F = T的写法，能正常编译的本质和写法(A)完全一致：
只要enable_if的条件里，引入了一个依赖func自身模板参数的东西——不管是像写法A那样用真实存在的Input做sizeof操作，还是像你的尝试那样加个带默认值的模板参数F——整个条件表达式就会被编译器判定为“依赖函数自身模板参数”，求值时机就会自动推迟到函数实参推导阶段，刚好落在SFINAE的保护范围内。
反过来，如果条件里完全没有任何依赖func自身参数的内容（就像写法B那样直接用外层类的T），编译器会认为这个条件的值在类模板实例化时就已经完全确定，根本没必要等到调用阶段再判断，一旦值是让enable_if失效的结果，就会直接报硬错。
内容的提问来源于stack exchange，提问作者PYA
