Question

我对模板的理解是，当我写void foo<T>(T x) {...}并调用foo<int>(x);和foo<float>(x)时会生成foo(int x)和foo(float x)。

我想要在进行比较之前进行类型检查，但是由于编译器会生成函数的两个版本，因此比较部分将在编译时失败。

我的代码是

template <typename T>
      void print(const std::vector<std::vector<T>>& matrix) {
          std::cout << std::setprecision(3) << std::fixed;
          for (int j=0; j < matrix[0].size(); j++) {
              for (int i=0; i < matrix.size(); i++) {
                  // Fail on this line ↓
                  if ((std::is_floating_point<T>::value) &&
                          (matrix[i][j] == std::numeric_limits<float>::lowest())) {
                      std::cout << "✗ ";
                      continue;
                  }
                  std::cout << matrix[i][j] << " ";
              }
          }
          std::cout << "\n";
      }

在我叫的其他文件上

util::print<float>(best_value);
util::print<Point>(best_policy);

声明

std::vector<std::vector<float>> best_value;
std::vector<std::vector<Point>> best_policy;

在保持print功能的同时又不必在Point和float之间进行比较的情况下，如何解决该问题？

Answer 1

只需将std::numeric_limits<float>::lowest()更改为std::numeric_limits<T>::lowest()

Answer 2

在c ++ 17中，对于编译时已知的条件，您可以使用if constexpr：

template <typename T>
void print(const std::vector<std::vector<T>>& matrix) {
    std::cout << std::setprecision(3) << std::fixed;
    for (const auto& row : matrix) {
        for (const auto& e : row) {
            if constexpr (std::is_floating_point<T>::value)) {
                if (e == std::numeric_limits<float>::lowest())) { // T instead of float?
                    std::cout << "✗ ";
                    continue;
                }
            }
            std::cout << e << " ";
        }
        std::cout << "\n";
    }
}

类型检查的编译时失败

2 个答案: