constexp 函数中的 C++ Wconversion 警告，但模板中没有

Question

我的问题是为什么下面的代码只为constexpr函数而不是模板生成警告？

我确实理解警告的含义以及如何摆脱它们。我不明白的是为什么编译器不为 struct Test 的 constexpr 成员 ToDouble 和 ToSquare 产生警告> 下面？

#include <iostream>

template <typename T, T value>
struct Test {
  static constexpr double ToDouble = value;

  static constexpr T ToSquare = value * value;
};

template <typename T>
constexpr double ToDouble(T value) {
  return value;
}

template <typename T>
constexpr T ToSquare(T value) {
  return value * value;
}

int main() {
  std::cout << Test<long, 1>::ToDouble << std::endl;
  std::cout << ToDouble(static_cast<long>(1)) << std::endl;

  std::cout << Test<char, 1>::ToSquare << std::endl;
  std::cout << ToSquare(static_cast<char>(1)) << std::endl; 
}

$ g++ -Wconversion -std=c++11 a.cc 
a.cc: In instantiation of ‘constexpr double ToDouble(T) [with T = long int]’:
a.cc:22:45:   required from here
a.cc:12:10: warning: conversion to ‘double’ from ‘long int’ may alter its value [-Wconversion]
   return value;
      ^~~~~
a.cc: In instantiation of ‘constexpr T ToSquare(T) [with T = char]’:
a.cc:25:45:   required from here
a.cc:17:16: warning: conversion to ‘char’ from ‘int’ may alter its value [-Wconversion]
   return value * value;

Answer 1

模板生成一个类型。在该类型的每个实例中，值 value 都是一个编译时常量。并且它可以检查精度损失。

constexpr 情况下，模板函数的生成函数没有这个属性。参数 value 不保证是编译时常量。虽然您仅在它是编译时常量的上下文中使用它，但警告不会检查每个调用上下文。

可能你误解了constexpr；在函数上，它声明函数可以编译时求值，而不是必须。