Question

是否可以对具有实际值的函数参数使用static_assert（或类似的东西）？我想做的是以下几点。参数 min 和 max 在我的应用程序中将始终保持不变。理想情况下，我想将它们用作模板参数，但是这样做是不可能的，因为它们是真正有价值的。使用static_assert的动机是我想获得编译时错误检查。

template <typename counts_t, typename real_t>
real_t counts2real(counts_t c, real_t min, real_t max)
{
  constexpr real_t cmin = std::numeric_limits<counts_t>::min();
  constexpr real_t cmax = std::numeric_limits<counts_t>::max();
  constexpr real_t cdelta = (cmax - cmin);

  // ERROR: non-constant condition for static assertion.
  static_assert(max > min, "max > min");

  real_t delta = (max - min);
  real_t p = (c - cmin) / cdelta;

  return (p * delta + min);
}

int16_t x = 0;
const float min = 10.0;
const float max = 5.0;

float xf = counts2real<int16_t,float>(x, min, max);

Answer 1

虽然float不能用作模板参数，但float const&可以用作模板参数。因此，您可以传递min和max作为模板参数：

template <typename real_t, real_t const& min, real_t const& max, typename counts_t>
real_t counts2real(counts_t c)
{
  constexpr real_t cmin = std::numeric_limits<counts_t>::min();
  constexpr real_t cmax = std::numeric_limits<counts_t>::max();
  constexpr real_t cdelta = (cmax - cmin);

  static_assert(max > min, "max > min");

  real_t delta = (max - min);
  real_t p = (c - cmin) / cdelta;

  return (p * delta + min);
}

用法：

constexpr float min = 10.0;
constexpr float max = 50.0;

float foo(int16_t x) {
    return counts2real<float, min, max>(x);
}

将max更改为5.0会根据需要进行诊断：

<source>:13:21: error: static assertion failed: max > min
   static_assert(max > min, "max > min");

Demo

在C ++ 17中，可以避免不必指定min和max的类型：

template <auto const& min, auto const& max, typename counts_t>
constexpr auto counts2real(counts_t c)
{
  ...
}

// ...
float foo(int16_t x) {
    return counts2real<min, max>(x);
}

如何使用实值函数参数进行编译时错误检查？

1 个答案: