संकलन समय पर एक constexpr std :: tuple से कैसे पूछें?

Question

सी ++ 0x में, कोई एक constexpr std :: tuple बना सकता है, उदा।

#include <tuple> 
constexpr int i = 10; 
constexpr float f = 2.4f; 
constexpr double d = -10.4; 
constexpr std::tuple<int, float, double> tup(i, f, d); 

कोई भी रनटाइम पर std :: tuple से पूछताछ कर सकता है, उदा।

int i2 = std::get<0>(tup); 

लेकिन यह संकलन समय पर यह क्वेरी करने के लिए संभव नहीं है, उदाहरण के लिए, के माध्यम से

constexpr int i2 = std::get<0>(tup); 

एक संकलन त्रुटि (कम से कम नवीनतम जी ++ स्नैपशॉट 2011-02-19) के साथ फेंक देते हैं।

क्या संकलन समय पर constexpr std :: tuple से पूछने का कोई अन्य तरीका है?

और यदि नहीं, तो क्या कोई वैचारिक कारण है कि किसी को इसकी पूछताछ क्यों नहीं की जाती है?

(मैं, std :: टपल, जैसे का उपयोग कर से बचने के बारे में पता कर रहा हूँ बजाय बढ़ावा :: एमपीएल या बढ़ावा देने :: संलयन का उपयोग करके, लेकिन किसी भी तरह यह नए मानक में टपल वर्ग उपयोग करने के लिए नहीं गलत लग रहा है .. ।)।

वैसे, किसी को पता है क्यों

constexpr std::tuple<int, float, double> tup(i, f, d); 

ठीक संकलित, लेकिन

constexpr std::tuple<int, float, double> tup(10, 2.4f, -10.4); 

नहीं

?

बहुत पहले से धन्यवाद! - लार्स

Answer 1

std::getconstexpr चिह्नित नहीं है, तो आप इसे इस्तेमाल नहीं कर सकते एक constexpr संदर्भ में एक tuple से मूल्यों को पुनः प्राप्त करने के लिए, भले ही है कि टपल ही constexpr है।

दुर्भाग्यवश, std::tuple का कार्यान्वयन अपारदर्शी है, इसलिए आप अपने स्वयं के एक्सेसर्स भी नहीं लिख सकते हैं।

Answer 2

मैंने अभी तक सी ++ 0x के साथ काम नहीं किया है, लेकिन ऐसा लगता है कि std :: get() एक फ़ंक्शन है, अभिव्यक्ति के बजाय संकलक सीधे व्याख्या कर सकता है। इस तरह, फ़ंक्शन को संकलित करने के बाद, रनटाइम को छोड़कर इसका कोई अर्थ नहीं है।