c++ - 类型推导如何用于评估表达式？

Question

我刚刚使用模板做了一个钳制函数。它看起来像这样:

template <typename Tp_, typename Up_, typename Vp_>
inline auto clamp(Tp_ x, Up_ xmin, Vp_ xmax)
noexcept -> decltype(x < xmin ? xmin : (x > xmax ? xmax : x)) {
  return x < xmin ? xmin : (x > xmax ? xmax : x);
}

template <typename Tp_, typename Up_>
inline auto clamp(Tp_ x, const Up_ &v) -> decltype(clamp(x, min(v),
                                                         max(v))) {
  static_assert(is_iterable<Up_>::value,
                "The data set must be iterable");
  return clamp(x, min(v), max(v));
}

我有一个单元测试来测试执行此操作的函数:

TEST(StatsTest, clamp) {
  ASSERT_EQ(clamp(1, 0, 5), 1);
  ASSERT_EQ(clamp(-1, 0, 3), 0);
  ASSERT_EQ(clamp(15, 0, 3), 3);

  ASSERT_EQ(clamp(1, 0.f, 3.), 1);
  ASSERT_EQ(clamp(-1, 0.f, 3.), 0.f);
  ASSERT_EQ(clamp(15, 0, 3), 3.);

  ASSERT_EQ(clamp(543, v1), 543);
  ASSERT_EQ(clamp(-143, v1), 71);
  ASSERT_EQ(clamp(14143, v1), 977);
}

但是当我考虑它时，这没有意义:decltype(clamp(x, min(v), max(v))) 的结果不应该是已知的在运行时间之前，是吗？

以防万一，我尝试用一​​些变量数据替换我的测试:

TEST(StatsTest, clamp) {
  int a = 0;
  float b = 65.3f;
  double c = 89.7;
  ASSERT_EQ(clamp(a, b, c), 65.3f);
}

但它仍然通过了!

解释是什么？

Answer 1

clamp返回的类型是参数的普通类型，不是选择的参数类型。

然后您会被进一步的晋升所愚弄，从而使您的平等检查成立。

decltype( true?7:3.0 ) 与 decltype( false?7:3.0 ) 类型相同。