在常量表達式中使用numeric_limits :: max（）

Question

我想在類的內部定義一個常量，其中的值是最大可能的int值。事情是這樣的：

class A 
{ 
    ... 
    static const int ERROR_VALUE = std::numeric_limits<int>::max(); 
    ... 
} 

這個聲明失敗，出現以下消息編譯：

numeric.cpp:8: error: 'std::numeric_limits::max()' cannot appear in a constant-expression numeric.cpp:8: error: a function call cannot appear in a constant-expression

我明白爲什麼這是行不通的，但兩件事情看起來怪我：

1. 在我看來，在常量表達式中使用該值是自然的決定。爲什麼語言設計者決定使一個函數成爲一個函數，因此不允許這種用法？

2. 中的規範要求18.2.1是

   For all members declared static const in the numeric_limits template, specializations shall define these values in such a way that they are usable as integral constant expressions.

   難道這是我應該能夠在我的情況下使用它，沒有它違背了錯誤消息？

謝謝。

Answer 1

雖然目前的標準在這裏缺乏支持，但對於整數類型Boost.IntegerTraits給出了編譯時間常量const_min和const_max。

問題來自§9.4。2/4：

If a static data member is of const integral or const enumeration type, its declaration in the class definition can specify a constant-initializer which shall be an integral constant expression (5.19). In that case, the member can appear in integral constant expressions.

需要注意的是它增加了：

The member shall still be defined in a name- space scope if it is used in the program and the namespace scope definition shall not contain an initializer.

正如其他人已經提到numeric_limit小號min()和max()根本就不是整型常量表達式，即編譯時間常數。

Answer 2

你想：

#include <limits> 

struct A { 
static const int ERROR_VALUE; 
}; 

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

放在一個標題的類/結構和定義在.cpp文件。

Answer 3

貌似有點缺陷的......

在C++ 0x中，numeric_limits將有標有constexpr一切，這意味着你將能夠使用min()和max()的編譯時間常數。

Answer 4

它不矛盾，因爲max未定義static const。它只是一個靜態成員函數。函數不能是const，並且靜態成員函數也不能在最右邊附加const。

限制的雙重版本中還有一個double max()，在C++ 03中它不會說static double const max = ...。爲了保持一致，max()是限制模板的所有版本的功能。

現在已知max()不能被使用，因爲這是壞的，而C++ 0x已經通過使其成爲constexpr函數來解決它，從而允許您提出使用。

Answer 5

• 我會盡量回答你就像我從你的問題理解爲：

1 - 如果你想在你的程序的靜態const int的同一個函數來初始化：

int Data() 
{ 
return rand(); 
} 

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

如果你想獲得最大和最小的編號爲給定的數據類型，然後使用這些定義 INT_MAX，在這部作品中對VS 2008

2- T_MIN，LONG_MAX等..

3-然而，如果你需要使用這些模板WRT類型，然後 硬編碼模板自己

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)); 
} 

希望這可以幫助你..