तर्क केवल एक कॉन्स्टेक्स फ़ंक्शन

Question

के शरीर के भीतर अनियमित संदर्भ में उपयोग किया जाता है कोड का निम्नलिखित भाग सफलतापूर्वक जीसीसी 5.3.0 के साथ संकलित किया गया है लेकिन क्लैंग 3.7.0 के साथ संकलित करने में विफल रहा है। मैंने ऑनलाइन कॉलिरू कंपाइलर्स का उपयोग दोनों मामलों में एक ही कमांड लाइन विकल्पों के साथ किया था: -std = C++ 14 -O2 -Wall -pedantic -pthread।

#include <cstdio> 

// Definition of constexpr function 'foo'. 
constexpr std::size_t foo(const int& arg_foo) { return sizeof(arg_foo); } 

// Definition of function 'test'. 
void test(const int& arg) 
{ 
    // The following line produces an error with clang. 
    constexpr std::size_t res_foo = foo(arg); 

    // Print the result returned by the 'foo' function. 
    std::printf("res_foo = %lu\n", res_foo); 
} 

// Definition of function 'main'. 
int main(int argc, const char* argv[]) 
{ 
    // Test function call. 
    test(argc); 

    // Return statement. 
    return 0; 
} 

बजना निम्न त्रुटि के साथ खारिज कर दिया:

error: constexpr variable 'res_foo' must be initialized by a constant expression 
constexpr size_t res_foo = foo(arg); 
          ~~~~^~~~ 

दो compilers के बीच इस अंतर की वजह से

, मैं अगर यह कोड का एक मान्य टुकड़ा है सोच रहा हूँ। यदि नहीं, तो मैं इस मामले में क्यों बेहतर समझना चाहता हूं।

Answer 1

आप const और constexpr मान एक साथ मिश्रण कर रहे हैं। constexpr की परिभाषा एक संकलन समय पर जाना जाता है। लेकिन argc वैरिएबल केवल रन टाइम पर जाना जाता है (यह आपके निष्पादन योग्य को पारित कई तर्क हैं)। तो आप इसे किसी अन्य constexpr चर - res_foo पर असाइन नहीं कर सकते हैं। परिभाषा से constexpr को हटा रहा है परिभाषा आपके कोड को संकलित कर देगी।

const और constexpr के बीच का अंतर कुछ इस तरह करने के लिए सरल किया जा सकता:
const - यह मान संकलन समय और मैं नहीं जा रहा हूँ पर जाना जाता है - मैं इस मूल्य
constexpr बदलने के लिए नहीं जा रहा हूँ इसे बदलने के लिए

मेरा अनुमान है कि जीसीसी इस कोड को ओ 2 के साथ संकलित करने में सक्षम है क्योंकि आप arg_foo तर्क का उपयोग नहीं कर रहे हैं और इसका आकार संकलन समय पर जाना जाता है। लेकिन यह अभी भी वाक्य रचनात्मक रूप से गलत है - संकलक को एक त्रुटि उत्सर्जित करनी चाहिए, क्योंकि गैर-कॉन्टेक्सप्रस मान को कॉन्स्टेक्स चर के लिए असाइन किया गया है।

Answer 2

कार्यक्रम अच्छी तरह से गठित है, क्योंकि foo(arg) सी ++ 14 5.20/2 में परिभाषित एक मूल कोर निरंतर अभिव्यक्ति है। विशेष रूप से, मूल्यांकन के दौरान कोई लालसा-से-रावल्यू रूपांतरण नहीं होता है, जो इसे निरंतर अभिव्यक्ति नहीं बनाता है।