अग्रेषित constexpr तर्क के odr-उपयोग?

Question

निम्नलिखित में ...

struct C {}; 
constexpr C c; 

void g(C); 

template<typename T> 
void f(T&& t) { 
    g(std::forward<T>(t)); 
} 

int main() { 
    f(c); 
} 

c ओडीआर से इस्तेमाल किया है? क्यों नहीं?

Answer 1

in Richard's answer रूप में एक ही गति के माध्यम से जा रहे हैं, हम पाते हैं कि नहीं के लिए दूसरी शर्त जा रहा ओडीआर रूप से प्रयुक्त उल्लंघन किया जाता है, और इस तरह c ओडीआर से इस्तेमाल किया है। विस्तार में, हालत पढ़ता है:

[एक चर x है ओडीआर रूप से प्रयुक्त एक अभिव्यक्ति ex जब तक x एक वस्तु है और द्वारा] ex एक अभिव्यक्ति e, जहां के संभावित परिणामों के सेट का एक तत्व है या तो lvalue-to-rvalue रूपांतरण e पर लागू होता है, या e एक त्याग-मूल्य अभिव्यक्ति है।

स्टैंडर्ड से हमारे मामले x में अपने c है, और ex आईडी अभिव्यक्ति c है। केवल ex का एकमात्र अभिव्यक्ति एक संभावित परिणाम आईडी-अभिव्यक्ति ex है। यह न तो एक त्याग-मूल्य अभिव्यक्ति है, न ही इसका उपयोग करने वाला लालसा-से-रावल्यू रूपांतरण है (क्योंकि यह किसी संदर्भ से जुड़ता है)।