我的问题是,为什么以下代码仅针对 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;
最佳答案
模板生成一个类型。在该类型的每个实例中,值 value
是一个编译时常量。并且它可以检查精度损失。
在constexpr
情况下,模板函数的生成函数没有此属性。不保证参数 value
是编译时常量。虽然您仅在它是编译时常量的上下文中使用它,但警告不会检查每个调用上下文。
可能你误解了constexpr
;在函数上,它声明函数可以在编译时求值,而不是必须。
关于constexpr 函数中存在 C++ Wconversion 警告,但模板中没有,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/52567897/