Question

  #include <array>
  template<typename T>
  void Func(T Param)
     {
     int Val = 0;
     if (std::is_same<T, bool>::value)
        Val += Param ? 1 : 0;
     }

  int main() 
     {
     std::array<int, 10> A;
     Func(A);
     return 0;
     }

当我使用gcc或MSVC编译时，我得到：

Error C2440 '?': cannot convert from 'std::array<int,10>' to 'bool'

由于Val += Param ? 1 : 0;为0，编译器甚至不能编译std::is_same<std::array<int, 10>, bool>::value吗？

Answer 1

在当前场景中，当编译器尝试实例化Func模板时，它看到了：

Val += Param ? 1 : 0;

其中Param的类型为std::array<int, 10>，因此会抱怨。

问题是if std::is_same的子句在函数模板实例化过程中没有神奇地删除部分代码。

自 C ++ 17 以来，您可以使用if constexpr：

if constexpr (std::is_same_v<T, bool>)
   Val += Param ? 1 : 0;
}

solves the problem。

在 C ++ 17 之前，您可以使用标签调度进行一些实验。例如，类似的东西应该起作用：

template<typename T>
auto get(const T& p, std::true_type) {
    return p ? 1 : 0;
}

template<typename T>
auto get(const T& p, std::false_type) {
    return 0;
}

然后：

template<typename T>
void Func(T Param)
{
    int Val = 0;        
    // ...        
    Val += get(Param, std::is_same<T, bool>{});
}

Wandbox example

std :: is_same无法使用bool

1 个答案: