std::条件编译时分支评估

编译这个：

template < class T, class Y, class ...Args >
struct isSame
{
    static constexpr bool value = std::conditional<
                                      sizeof...( Args ),
                                      typename std::conditional<
                                          std::is_same< T, Y >::value,
                                          isSame< Y, Args... >, // Error!
                                          std::false_type >::type,
                                      std::is_same< T, Y > >::type::value;
};

int main()
{
    qDebug() << isSame< double, int >::value;
    return EXIT_SUCCESS;
}

给我这个编译器错误：

error: wrong number of template arguments (1, should be 2 or more)

问题是isSame< double, int >有一个空的Args参数包，所以isSame< Y, Args... >实际上变成isSame< Y >这与签名不匹配。

但我的问题是：为什么要评估该分支？sizeof...( Args ) is false，所以内std:conditional不应该被评估。这不是运行时代码，而是编译器knows that sizeof..( Args ) will never be true与给定的模板类型。

如果你好奇的话，它应该是一个可变版本std::is_same，并不是说它有效...

但我的问题是：为什么要评估该分支？

因为没有评价，那根本就不是分支。这是一个模板及其实例化以成功实例化std::conditional模板.
我在这里的意思是，在编写模板元程序时，评估抽象很有用，但您永远不应该忘记模板系统真正在做什么.

如果您需要有条件地实例化可能格式不正确的模板，请添加间接级别。查看this回答一个例子。