c++自动类型推导的问题

最好看个实例，这个很好理解的

记住模板是针对编译器编程（图灵完备），在编译期执行decltype<(true?a:b)>，得到b的类型

静态类型语言允许表达式的类型直接通过子表达式的值推断，不需要关心表达式的其它属性。这其实是针对表达式静态类型这种元数据的一种部分求值(partial evaluation) 。（C++ 中，静态类型的元数据包括值类别。）常量表达式求值可以是更完备的针对表达式值的部分求值，但仍然不违反其它规则，就算可以静态确定 ? : 的一个子表达式决定结果，也会继续转换到符合类型规则确定的表达式的值才得到结果——一般情形就是这样，不过在此无关紧要。因为 decltype 只关心其中操作数的类型和值类别，而不关心具体的值（也根本没法关心，因为是未求值操作数(unevaluated operand) ）。而因为 ? : 的结果类型（有一大坨规则懒得引用了）不管 ? 前的子表达式，这里 ? 前的操作数只要不 ill-formed 能 conditionally converted to bool ，是什么都对决定结果的类型无关紧要。用 true 无非是保证不出错的前提下比较省事罢了。