首页 > 解决方案 > 类型检查的编译时间失败

问题描述

我对模板的理解是,当我编写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

标签: c++c++17

解决方案


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


推荐阅读