संदर्भ और स्थिर वर्ग के सदस्यों

Question

के साथ एक जिज्ञासु मामले

कोड का निम्न भाग लें:

#include <type_traits> 
#include <iostream> 

template <class T> 
void print(T &&t){ 
    std::cout << t << std::endl; 
} 

template<class T, T val> 
struct Foo{ 
    static constexpr T value = val; 
}; 

int main(){ 
    print(Foo<int, 123>::value); 
} 

यह बजना 3.3 और जीसीसी 4.8.1 ("undefined reference to Foo<int, 123>::value") है, जो मुझे पहेली क्योंकि Foo बिल्कुल के रूप में एक ही करता है के तहत संकलित करने के लिए मना कर दिया std::integral_constant, और एक ही कोड integral_constant के साथ ठीक चलाता है। यह प्रिंट फ़ंक्शन में सादे lvalue संदर्भ के साथ भी विफल रहता है। इस व्यवहार के बारे में कोई स्पष्टीकरण?

मुद्दा भी इस काफी कम उदाहरण के साथ मौजूद है: संकलक का कहना है

template<class T> 
struct Bar{ 
    static const bool value = true; 
}; 

Answer 1

हैं, वहाँ स्थिर चर के लिए कोई संदर्भ है, तो आप की परिभाषा के बाद

template<class T, T val> 
constexpr T Foo<T, val>::value; 

जोड़ना होगा कक्षा Foo