在Scott Meyers的“Effective Modern C”中,他提供了以下函数来查找数组的大小：
template<typename T,std::size_t N>
constexpr std::size_t arraySize(T (&)[N]) noexcept
{
return N;
}
这里’noexcept’的目的是什么？据我所知,noexcept仅影响运行时代码的生成 – 但是我看不到在运行时调用此函数而不是编译时间的任何情况？
解决方法
在一般情况下,标记为constexpr的模板在实例化时可能会丢失该状态.如果一组特定的模板参数不允许,那么将默认删除该限定条件,并且生成的函数是“常规”函数.
它很可能被指定为教你一个好习惯.虽然确实将一个consexpr函数隐式假设为非抛出,但如果删除了函数的constexpr状态,它仍然不会干扰正确的noexcept规范.当它被用作表达式的一部分被馈送到noexcept()运算符时.
如果没有这样定义,它会在使用noexcept()的应用程序中使用它的函数的异常规范出现偏差.因为它被认为可能在没有规范的情况下投掷.
由于noexcept()运算符也是在编译时进行计算的,因此根本不是代码生成(就像你所说的那样).这更像是语义正确性的问题,类似于const正确性.
