std :: enable_if गैर-प्रकार टेम्पलेट पैरामीटर्स

Question

std::enable_if में गैर-प्रकार टेम्पलेट पैरामीटर तुलना का उपयोग करने के बारे में आप कैसे जाएंगे? मैं यह नहीं समझ सकता कि इसे फिर से कैसे किया जाए। (मैंने एक बार यह काम किया था, लेकिन मैंने कोड खो दिया है, इसलिए मैं इसे वापस नहीं देख सकता, और मुझे वह पद नहीं मिल रहा है जिसमें मुझे जवाब मिला है।)

किसी भी मदद के लिए अग्रिम धन्यवाद यह विषय।

template<int Width, int Height, typename T> 
class Matrix{ 
    static 
    typename std::enable_if<Width == Height, Matrix<Width, Height, T>>::type 
    Identity(){ 
     Matrix ret; 
     for (int y = 0; y < Width; y++){ 
      elements[y][y] = T(1); 
     } 
     return ret; 
    } 
} 

---

संपादित करें: फिक्स्ड लापता ब्रैकेट के रूप में टिप्पणी में कहा।

Answer 1

यह सब इस बात पर निर्भर करता है कि आप किस प्रकार की त्रुटि/विफलता को अमान्य कोड पर उठाना चाहते हैं। यहाँ यह एक संभावना

(सी ++ 98 शैली) (एक तरफ स्पष्ट static_assert(Width==Height, "not square matrix"); छोड़कर) है

#include<type_traits> 
template<int Width, int Height, typename T> 
class Matrix{ 
    public: 
    template<int WDummy = Width, int HDummy = Height> 
    static typename std::enable_if<WDummy == HDummy, Matrix<Width, Height, T> >::type 
    Identity(){ 
    Matrix ret; 
    for (int y = 0; y < Width; y++){ 
    // elements[y][y] = T(1); 
     } 
     return ret; 
    } 
}; 

int main(){ 
    Matrix<5,5,double> m55; 
    Matrix<4,5,double> m45; // ok 
    Matrix<5,5, double> id55 = Matrix<5,5, double>::Identity(); // ok 
// Matrix<4,5, double> id45 = Matrix<4,5, double>::Identity(); // compilation error! 
//  and nice error: "no matching function for call to ‘Matrix<4, 5, double>::Identity()" 
} 

संपादित करें: सी ++ 11 में कोड, अधिक कॉम्पैक्ट और स्पष्ट हो सकता है (यह clang 3.2 में लेकिन gcc 4.7.1 में नहीं काम करता है, तो मुझे यकीन है कि यह कैसे मानक है) नहीं कर रहा हूँ:

(सी ++ 11 शैली)

template<int Width, int Height, typename T> 
class Matrix{ 
    public: 
     template<typename = typename std::enable_if<Width == Height>::type> 
     static Matrix<Width, Height, T> 
     Identity(){ 
     Matrix ret; 
     for (int y = 0; y < Width; y++){ 
     //  ret.elements[y][y] = T(1); 
     } 
     return ret; 
    } 
}; 

Answer 2

मुझे यहां मेरे प्रश्न का उत्तर मिला: Using C++11 std::enable_if to enable...

मेरे समाधान में, SFINAE मेरे टेम्पलेटेड रिटर्न प्रकार के भीतर होता है, इसलिए फ़ंक्शन टेम्पलेट स्वयं मान्य है। इसके दौरान, कार्य स्वयं भी templated हो जाता है।

template<int Width, int Height, typename T> 
class Matrix{ 
    template<typename EnabledType = T> 
     static 
     typename Matrix<Width, Height, 
      typename std::enable_if<Width == Height, EnabledType>::type> 
     Identity(){ 
     Matrix ret; 
     for (int y = 0; y < Width; y++){ 
      ret.elements[y][y] = T(1); 
     } 
     return ret; 
    } 
}