为什么编译器在编译时无法理解 if 分支的值？

Question

我正在编写一个计算多维向量元素的函数

template<class T>
int real_size(const std::vector<T>& vec)
{
    int size=0;
    for(const auto& v : vec)
    {
        if(std::is_integral<T>::value ||
                std::is_floating_point<T>::value){
            size+=1;
        }
        else{
            size +=real_size(v);
        }
    }
    return size;
}

int main()
{
    std::vector<std::vector<int>> a(10);
    a[0]=std::vector<int>(10);
    std::cout<<real_size(a);
}

这给了我这些错误：

 error: no matching function for call to 'real_size(const int&)'
             size +=real_size(v);
                           ^

该代码似乎很好，错误无关紧要...... else 语句永远不应成为 size +=real_size(int);，因为我正在使用 std::is_integer 检查模板参数的类型。

但似乎编译器在编译时无法理解它！是编译器错误还是我犯了错误？

_{*我使用的是 gcc 4.8.1。 g++ -std=c++11 *}

Answer 1

如果将常量替换为实际值，您会看到编译错误是如何产生某种意义的。对于int，该代码等效于以下代码：

    if(true || false){
        size+=1;
    }
    else{
        size +=real_size(v);
    }

这里编译器仍然会抱怨 else 主体无效：死代码必须仍然是有效代码。

Answer 2

该错误是因为else 分支仍需要编译。您可以将其更改为两个不同的函数，然后使用标签调度：

template<class T>
int real_size(const std::vector<T>& vec)
{
    int size=0;
    for(const auto& v : vec)
    {
        size += real_size_inner(std::is_arithmetic<T>(), v);
    }
    return size;
}

template<class T>
int real_size_inner(std::true_type, T&)
{
    return 1;
}

template<class T>
int real_size_inner(std::false_type, T& v)
{
    return real_size(v);
}

如果您对std::advance 在标准中的实现方式进行一些研究，您将了解它是如何工作的，因为它是以相同的方式实现的。

Answer 3

条件代码仍然被编译，并且必须是格式良好的，即使它可以在编译时确定它不会被执行。

一种解决方案是为其他类型重载real_size：

template <typename T>
typename std::enable_if<std::is_arithmetic<T>::value>::type
real_size(T const &) {
    return 1;
}

并将你的循环减少到

for(const auto& v : vec) {
    size += real_size(v);
}