與decltype

Question

//THIS IS JUST A FRAGMENT OF A static_numeric_limits.h for the purpose of this example 
#include <limits.h> 

    template<class T> 
    struct static_numeric_limits; 

    template<> 
    struct static_numeric_limits<signed char> 
    {/*min was outside of range for enum*/ 
     static const signed char min = SCHAR_MIN, 
           max = SCHAR_MAX; 
    }; 

    /*This "surplus" template is here for the reason that char is threated differently from signed char */ 
    template<> 
    struct static_numeric_limits<char> 
    {/*min was outside of range for enum*/ 
     static const char min = SCHAR_MIN, 
          max = SCHAR_MAX; 
    }; 

    template<> 
    struct static_numeric_limits<unsigned char> 
    { 
     static const unsigned char min = 0x0, 
          max = UCHAR_MAX; 
    }; 
///REAL PROBLEM STARTS FROM HERE  
    template<class IntType,IntType low_range = static_numeric_limits<IntType>::min> 
    struct Int 
    { 
     Int():value_(IntType()) 
     {} 
     Int(const IntType& pattern) 
     { 
      value_ = (pattern); 
     } 
     constexpr inline IntType getValue()const 
     { 
      return value_; 
     } 
    private: 
     IntType value_; 
    }; 

    template<class IntType,class IntType_1> 
    auto operator+ 
     (Int<IntType>& lhs, Int<IntType_1>& rhs) 
     -> Int<decltype(lhs.getValue() + rhs.getValue())>//HERE IS THE PROBLEM 
    { 
     return lhs.getValue() + rhs.getValue(); 
    } 

錯誤（從VS2010） error C2027: use of undefined type 'static_numeric_limits<T>'
錯誤（GCC產生4.6）的另一個問題
error: 'decltype ((lhs->getValue() + rhs->getValue()))' is not a valid type for a template constant parameter

爲什麼不這項工作，因爲我認爲它會嗎？

Answer 1

這裏的錯誤是什麼類型decltype是從你的表達推論;不幸的是，錯誤信息並不清楚，實際上這是一個棘手的問題。考慮表達式的類型0 + 0。這是一個int，是的，但更重要的是它是一個右值（非正式的，這是一個臨時的）。這意味着decltype(0 + 0)不是int，而是int&&。現在認爲你的代碼沒有什麼不同，在這方面：你仍然有一個右值。

問題是模板非類型參數不能是右值引用，所以你不能有Int<int&&>，因爲第二個參數的類型。你可以做的，雖然是這樣的：

#include <type_traits> 

// ... 

template <class IntType, class IntType_1> 
auto operator+(const Int<IntType>& lhs, // be const-correct! 
       const Int<IntType_1>& rhs) 
       -> Int<typename std::remove_reference< 
         decltype(lhs.getValue() + rhs.getValue())>::type> 
{ 
    return lhs.getValue() + rhs.getValue(); 
} 

這爲基準掉int&&，讓你裸露int類型。希望gcc的錯誤信息更有意義：它試圖告訴你，你的非類型參數不能使用int&&。

---

另一個問題，雖然可能一個不是問題的問題，是整數運算髮生什麼所謂的usual arithmetic conversions。因此，將兩個Int<char>的值相加的結果實際上將是int，因此您的返回類型應該是Int<int>（並且是固定代碼）。

問題在於你沒有定義static_numeric_limits<int>。但正如我所說，我懷疑這是一個非問題，你確實有它的定義，只是沒有顯示在你的問題。