समारोह मापदंडों और वापसी के रूप में अधूरा प्रकार

Question

महत्व देता कोड compiles successfully both with clang++ 5.0.0 and g++ 7.2 (-std=c++17 -Wall -Wextra -Werror -pedantic-errors -O0 संकलन झंडे के साथ) के बाद:

struct Foo; 

struct Bar 
{ 
    Foo get() const; 

    void set(Foo); 
}; 

struct Foo 
{ 
}; 

Foo Bar::get() const 
{ 
    return {}; 
} 

void Bar::set(Foo) 
{ 
} 


int main() 
{ 
    Bar bar{}; 

    (void)bar.get(); 
    bar.set(Foo{}); 
} 

यह समारोह पैरामीटर के रूप में अधूरा प्रकार का उपयोग करें और मूल्यों वापस जाने के लिए मान्य है? सी ++ इस पर क्या कहता है?

Answer 1

एक समारोह में परिभाषा, आप अधूरा प्रकार का उपयोग नहीं कर सकते हैं: [dcl.fct]/12:

एक पैरामीटर या एक समारोह परिभाषा के लिए वापसी प्रकार के प्रकार के एक अधूरी (संभवतः सीवी -qualified नहीं होगा) फ़ंक्शन परिभाषा के संदर्भ में वर्ग प्रकार जब तक कि फ़ंक्शन हटाया नहीं जाता है।

लेकिन एक समारोह घोषणा में ऐसा कोई प्रतिबंध नहीं है। जब तक आप Bar::get और Bar::set परिभाषित करते हैं, Foo एक पूर्ण प्रकार है, इसलिए प्रोग्राम ठीक है।

Answer 2

क्या यह कार्यात्मक पैरामीटर और वापसी मूल्यों के रूप में अपूर्ण प्रकारों का उपयोग करने के लिए मान्य है? सी ++ इस पर क्या कहता है?

फ़ंक्शन घोषणा में, हाँ यह मान्य है।

[basic.def.odr] ऐसी स्थितियों को सूचीबद्ध करता है जहां एक प्रकार पूरा होना चाहिए। उस सूची में फ़ंक्शन घोषणाओं का कोई उल्लेख नहीं है। ध्यान दें कि कार्य परिभाषाओं को T के लिए T के तर्क और वापसी प्रकारों के लिए परिभाषा की आवश्यकता है।

Answer 3

जहाँ तक मुझे पता है, आप निम्न तरीकों से एक अधूरी प्रकार का उपयोग कर सकते हैं:

1. संकेत के रूप में;
2. संदर्भ के रूप में;

क्योंकि फ़ंक्शन की घोषणा किसी वस्तु को नहीं बनाती है, इसलिए यह कानूनी है।