constexpr对参数包的作用：为何无constexpr时可变参数求和代码非法

无constexpr时报错的原因 #

C++规定，带auto返回值的函数，所有返回语句的推导结果必须是同一类型：

• 对于普通if（无constexpr修饰），无论分支的运行时判断结果是否成立，两个分支的代码都要完成编译，两个分支的返回值都会参与auto的类型推导。
• 你给出的示例中，当传入参数包含double类型时，折叠表达式(pack + ...)的计算结果是double类型，对应if分支返回double；而else分支返回的0是int类型，两个返回类型冲突，就会触发你看到的编译报错。
• 当传入参数全是int类型时，折叠表达式的返回结果也是int，和else分支的返回类型一致，所以即使没有constexpr也能编译通过。

constexpr的解决逻辑 #

if constexpr是C++17新增的编译期分支判断规则：只有编译期判定为真的分支会被实例化参与编译，判定为假的分支会被直接丢弃，不会参与任何类型推导逻辑。

• 当你调用CalculateSum传入非空参数包时，sizeof...(Tpack) > 0在编译期就确定为真，else分支会被直接忽略，不会参与返回类型推导，最终auto只会根据if分支的返回值推导类型，不存在类型冲突。
• 如果你传入空参数包，if分支会被丢弃，auto只会根据else分支的int类型推导返回值，同样不会有冲突。

内容的提问来源于stack exchange，提问作者Max Popov