在我看来，拥有一个“总是返回5的函数”破坏或稀释了“调用函数”的意义。必须有一个原因，或者需要这个功能，否则它就不会出现在c++ 11中。为什么会在那里?
// preprocessor.
#define MEANING_OF_LIFE 42
// constants:
const int MeaningOfLife = 42;
// constexpr-function:
constexpr int MeaningOfLife () { return 42; }
在我看来，如果我写一个函数，返回一个字面值，然后我进行代码检查，有人会告诉我，我应该声明一个常量值，而不是返回5。
当前回答
刚刚开始将一个项目切换到c++11，遇到了一个非常好的constexpr情况，它清理了执行相同操作的替代方法。这里的关键点是，只有当函数声明为constexpr时，才能将其放入数组大小声明中。在许多情况下，我可以看到这在我所从事的代码领域非常有用。
constexpr size_t GetMaxIPV4StringLength()
{
return ( sizeof( "255.255.255.255" ) );
}
void SomeIPFunction()
{
char szIPAddress[ GetMaxIPV4StringLength() ];
SomeIPGetFunction( szIPAddress );
}
其他回答
它在某些方面很有用
// constants:
const int MeaningOfLife = 42;
// constexpr-function:
constexpr int MeaningOfLife () { return 42; }
int some_arr[MeaningOfLife()];
将它与特质类或类似的类联系起来，它会变得非常有用。
假设它做了一些更复杂的事情。
constexpr int MeaningOfLife ( int a, int b ) { return a * b; }
const int meaningOfLife = MeaningOfLife( 6, 7 );
现在您有了一些可以计算到一个常数的东西，同时保持良好的可读性，并允许稍微复杂一些的处理，而不仅仅是将一个常数设置为一个数字。
它基本上为可维护性提供了很好的帮助，因为它使您正在做的事情变得更加明显。以max(a, b)为例
template< typename Type > constexpr Type max( Type a, Type b ) { return a < b ? b : a; }
这是一个非常简单的选择，但这意味着如果你用常量值调用max，它是在编译时显式计算的，而不是在运行时。
另一个很好的例子是DegreesToRadians函数。每个人都觉得角度比弧度更容易读。虽然你可能知道180度是3.14159265 (Pi)弧度，但下面写得更清楚:
const float oneeighty = DegreesToRadians( 180.0f );
这里有很多好的信息:
http://en.cppreference.com/w/cpp/language/constexpr
Stroustrup在“Going Native 2012”大会上的演讲如下:
template<int M, int K, int S> struct Unit { // a unit in the MKS system
enum { m=M, kg=K, s=S };
};
template<typename Unit> // a magnitude with a unit
struct Value {
double val; // the magnitude
explicit Value(double d) : val(d) {} // construct a Value from a double
};
using Speed = Value<Unit<1,0,-1>>; // meters/second type
using Acceleration = Value<Unit<1,0,-2>>; // meters/second/second type
using Second = Unit<0,0,1>; // unit: sec
using Second2 = Unit<0,0,2>; // unit: second*second
constexpr Value<Second> operator"" s(long double d)
// a f-p literal suffixed by ‘s’
{
return Value<Second> (d);
}
constexpr Value<Second2> operator"" s2(long double d)
// a f-p literal suffixed by ‘s2’
{
return Value<Second2> (d);
}
Speed sp1 = 100m/9.8s; // very fast for a human
Speed sp2 = 100m/9.8s2; // error (m/s2 is acceleration)
Speed sp3 = 100/9.8s; // error (speed is m/s and 100 has no unit)
Acceleration acc = sp1/0.5s; // too fast for a human
例如std::numeric_limits<T>::max():不管出于什么原因，这是一个方法。Constexpr在这里很有用。
另一个例子:你想声明一个与另一个数组一样大的c数组(或std::array)。目前的做法是这样的:
int x[10];
int y[sizeof x / sizeof x[0]];
但如果能这样写不是更好吗:
int y[size_of(x)];
感谢constexpr，你可以:
template <typename T, size_t N>
constexpr size_t size_of(T (&)[N]) {
return N;
}
何时使用constexpr:
只要有编译时间常数。
