इस उदाहरण पर विचार करें ( यहाँ से आ रहे हैं ):
#include <type_traits>
#include <iostream>
template <typename U>
struct A {
};
struct B {
template <typename F = int>
A<F> f() { return A<F>{}; }
using default_return_type = decltype(std::declval<B>().f());
};
int main()
{
B::default_return_type x{};
std::cout << std::is_same< B::default_return_type, A<int>>::value;
}यह gcc9.2 पर कोई त्रुटि नहीं है, लेकिन gcc7.2 और clang 10.0.0 Bको पूरा नहीं होने के बारे में शिकायत करता है । Clangs त्रुटि है:
prog.cc:11:58: error: member access into incomplete type 'B'
using default_return_type = decltype(std::declval<B>().f());
^
prog.cc:7:8: note: definition of 'B' is not complete until the closing '}'
struct B {
^
prog.cc:16:8: error: no type named 'default_return_type' in 'B'
B::default_return_type x{};
~~~^
prog.cc:17:35: error: no member named 'default_return_type' in 'B'
std::cout << std::is_same< B::default_return_type, A<int>>::value;
~~~^
@MSalters मैंने भी यही सोचा था, लेकिन फिर यहाँ असली समस्या क्या है? मुझे लगता है कि एक बार जब आप इससे एक उदाहरण प्राप्त
—
idclev 463035818
std::declvalकरते हैं तो इससे कोई फर्क नहीं पड़ता कि क्या प्रकार पूर्ण था या नहीं (और मुझे लगता है कि मैं इसके साथ गलत हूं)
[expr.ref] / 2 (C ++ 11) वर्ग के सदस्य अभिगम के बारे में कहता है: "पहले विकल्प (डॉट) के लिए पहली अभिव्यक्ति में पूर्ण वर्ग प्रकार होगा" । और
—
भाषा वकील
Bन तो पूर्ण माना जाता है और न ही पूर्ण माना जाता है alias-declaration।
@LanguageLawyer मुझे आपके द्वारा उद्धृत वाक्य नहीं मिला, लेकिन केवल "वर्ग प्रकार तब तक पूरा होगा जब तक कि कक्षा सदस्य की पहुंच उस वर्ग की परिभाषा में प्रकट न हो"
—
idclev 463035818
@LanguageLawyer ठीक है तो मैं मानता हूं कि मेरी व्याख्या बंद थी और ऐसा लगता है कि सी ++ 11 के बाद से कुछ बदल गया है जो उपरोक्त मानकों को नए मानकों में नहीं बल्कि सी ++ 11 में बनाता है। क्या आप कोई उत्तर लिखना चाहेंगे?
—
आइडलव्यू ४६३०३५18१
.f()। यह समझ आता है; अपूर्ण प्रकारBका कोई सदस्य नहीं हैf।