Использование numeric_limits::max() в константных выражениях

Хотя текущий стандарт здесь не поддерживает, для целочисленных типов Boost.IntegerTraits дает вам константы времени компиляции const_min и const_max.

Проблема возникает из §9.4.2/4:

Если статический член данных имеет константный интегральный тип или константный тип перечисления, его объявление в определении класса может указывать инициализатор константы, который должен быть целочисленным константным выражением (5.19). В этом случае член может появляться в целочисленных константных выражениях.

Обратите внимание, что он добавляет:

Член по-прежнему должен быть определен в области пространства имен, если он используется в программе, и определение области пространства имен не должно содержать инициализатор.

Как уже упоминалось, numeric_limits min() и max() просто не являются целочисленными константными выражениями, то есть константами времени компиляции.

Похоже на какой-то дефект...

В C++0x в numeric_limits все будет помечено constexpr, что означает, что вы сможете использовать min() и max() в качестве констант времени компиляции.

Вы хотите:

#include <limits>

struct A {
static const int ERROR_VALUE;
}; 

const int A::ERROR_VALUE = std::numeric_limits<int>::max();

Поместите класс/структуру в заголовок и определение в файл .cpp.

Это не противоречит, потому что max не определено static const. Это просто статическая функция-член. Функции не могут быть константами, и статические функции-члены также не могут иметь константу, прикрепленную справа.

В двойном варианте лимитов тоже есть double max(), а в C++03 не получится сказать static double const max = .... Итак, чтобы быть последовательным, max() — это функция для всех версий шаблона лимита.

Теперь известно, что max() невозможность использования таким образом — это плохо, и C++0x уже решает эту проблему, превращая ее в функцию constexpr, что позволяет использовать предлагаемое вами использование.

• Я постараюсь ответить вам настолько, насколько я понял из вашего вопроса:

1- Если вы хотите, чтобы static const int в вашей программе был инициализирован с помощью функции:

int Data()
{
 return rand();
}

class A
{
public :
    static const int ee;
};
const int A::ee=Data();

Это работает на VS 2008

2- Если вы хотите получить максимальное и минимальное число для данного типа данных, используйте эти определения INT_MAX, INT_MIN, LONG_MAX и т. д.

3- Однако, если вам нужно использовать эти типы шаблонов, тогда жестко кодируйте шаблоны самостоятельно.

template<>
int MaxData()
{
 return INT_MAX;
}

и

template<>
long MaxData()
{
 return LONG_MAX ;
}

и называть их так

int y=MaxData<int>();

4- и если вы имеете дело только с двоичными представленными типами, используйте это:

template <class T>
T MaxData(){
    return ~(1<<((sizeof(T)*8)-1));
}

и это

template <class T>
T MinData(){
    return (1<<((sizeof(T)*8)-1));
}

Надеюсь, это поможет вам.