g++ 不编译带有断言的 constexpr 函数 [英] g++ doesn't compile constexpr function with assert in it

问题描述

template内联 constexprT getClamped(const T& mValue, const T& mMin, const T& mMax){断言(mMin < mMax)；//删除这一行以成功编译返回 mValue <最小 ?mMin : (mValue > mMax ? mMax : mValue);}

<块引用>

错误:constexpr 函数体 'constexpr T getClamped(const T&, const T&, const T&) [with T = long unsigned int]' <强>不是退货声明

使用 g++ 4.8.1.clang++ 3.4 没有抱怨.

谁在这里?有什么办法可以让 g++ 在不使用宏的情况下编译代码?

解决方案

GCC 是对的.但是，有一个相对简单的解决方法:

#include "assert.h"内联无效assert_helper(布尔测试){断言(测试)；}内联 constexpr bool constexpr_assert( bool test ) {返回测试?真:(assert_helper(测试)，假)；}模板常量表达式内联 T getClamped(const T& mValue, const T& mMin, const T& mMax){return constexpr_assert(mMin  mMax ? mMax : mValue));}

我们滥用逗号运算符两次.

第一次，因为我们想要一个 assert，当 true 时，可以从 constexpr 函数调用.第二个，所以我们可以将两个函数链接成一个 constexpr 函数.

附带一个好处，如果constexpr_assert 表达式在编译时无法验证为true，则getClamped 函数不是<代码>constexpr.

assert_helper 的存在是因为 assert 的内容是在 NDEBUG 为真时定义的实现，所以我们不能将它嵌入到表达式中(它可以是语句，而不是表达式).它还保证失败的 constexpr_assert 不会成为 constexpr，即使 assert 是 constexpr>NDEBUG 是假的).

所有这些的缺点是您的断言不是在出现问题的那一行触发，而是在更深的 2 个调用处触发.

template<typename T> constexpr inline 
T getClamped(const T& mValue, const T& mMin, const T& mMax) 
{ 
     assert(mMin < mMax); // remove this line to successfully compile
     return mValue < mMin ? mMin : (mValue > mMax ? mMax : mValue); 
}

error: body of constexpr function 'constexpr T getClamped(const T&, const T&, const T&) [with T = long unsigned int]' not a return-statement

Using g++ 4.8.1. clang++ 3.4 doesn't complain.

Who is right here? Any way I can make g++ compile the code without using macros?

解决方案

GCC is right. However, there is a relatively simple workaround:

#include "assert.h"

inline void assert_helper( bool test ) {
  assert(test);
}
inline constexpr bool constexpr_assert( bool test ) {
  return test?true:(assert_helper(test),false);
}

template<typename T> constexpr
inline T getClamped(const T& mValue, const T& mMin, const T& mMax)
{
  return constexpr_assert(mMin < mMax), (mValue < mMin ? mMin : (mValue > mMax ? mMax : mValue));
}

where we abuse the comma operator, twice.

The first time because we want to have an assert that, when true, can be called from a constexpr function. The second, so we can chain two functions into a single constexpr function.

As a side benefit, if the constexpr_assert expression cannot be verified to be true at compile time, then the getClamped function is not constexpr.

The assert_helper exists because the contents of assert are implementation defined when NDEBUG is true, so we cannot embed it into an expression (it could be a statement, not an expression). It also guarantees that a failed constexpr_assert fails to be constexpr even if assert is constexpr (say, when NDEBUG is false).

A downside to all of this is that your assert fires not at the line where the problem occurs, but 2 calls deeper.

这篇关于g++ 不编译带有断言的 constexpr 函数的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！