且构网

分享程序员开发的那些事...
且构网 - 分享程序员编程开发的那些事

为什么是C ++ numeric_limits< enum_type> :: max()== 0?

更新时间:2023-11-11 22:34:40

std: :numeric_limits 专用于标准库中的每个算术类型,包括浮点和整数,包括 bool (§18.3.2.1/ 2 )。



您的枚举 test $ c>不是这些类型之一,因此使用主模板。它的行为由§18.3.2.3/ 1规定:默认的 numeric_limits< T> 模板应具有所有成员,但 0 false 值。



如果您想了解底层类型 test ,您可以使用 underlying_type

  std :: numeric_limits< std :: underlying_type< test> :: type> :: max()


b $ b

或者,您可以专门化 numeric_limits test 并返回您想要的值。这不是一个特别好的主意,


Here's a bit of code that might seem like it would work:

#include <cassert>
#include <limits>

enum test { A = 1 };

int main()
{
    int max = std::numeric_limits<test>::max();
    assert(max > 0);
}

But it fails under both GCC (4.6.2) and clang (2.9) on Linux: max() for enum types is in fact zero! And this remains true even if you use the C++11 enum type specifier to explcitly say what type you want your enum to have.

Why is this? And as for the C++11 behavior, is it something explcitly called for? I could find no mention of it in N2347, the paper on Strongly Typed Enums.

std::numeric_limits is specialized in the Standard Library "for each arithmetic type, both floating point and integer, including bool" (§18.3.2.1/2).

Your enumeration test is not one of these types, so the primary template is used. Its behavior is specified by §18.3.2.3/1: "The default numeric_limits<T> template shall have all members, but with 0 or false values."

If you want to know the traits of the underlying type of test, you can use underlying_type:

std::numeric_limits<std::underlying_type<test>::type>::max()

Alternatively, you can specialize numeric_limits for test and have it return the values you want. This is not a particularly good idea, though.