C++ 11 constexpr 能否准确验证表达式是否为常量表达式?