এই উদাহরণটি বিবেচনা করুন ( এখান থেকে আসছেন ):
#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 এবং ঝাঁকুনি 10.0.0 Bসম্পূর্ণ না হওয়ার বিষয়ে অভিযোগ করে । ঝাঁকুনির ত্রুটিটি হ'ল:
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;
~~~^
@ এসএমএলটাররা আমিও একই চিন্তা করেছি, তবে তবে এখানে আসল সমস্যাটি কী? আমি ধরে নেব যে একবার আপনি
—
idclev 463035818
std::declvalএটির থেকে উদাহরণ পেয়ে গেলে আর কিছু যায় আসে না যদি প্রকারটি সম্পূর্ণ হয় বা না (এবং আমি অনুমান করি যে আমি এতে ভুল করছি)
[expr.ref] / 2 (সি ++ 11) শ্রেণীর সদস্য অ্যাক্সেস সম্পর্কে বলেছেন: "প্রথম বিকল্পের জন্য (ডট) প্রথম প্রকাশের সম্পূর্ণ শ্রেণীর ধরণ থাকবে" । এবং
—
ভাষা আইনজীবী
Bসম্পূর্ণ বা সম্পূর্ণ হিসাবে বিবেচনা করা হয় না alias-declaration।
@ ল্যাঙ্গুয়েজএলয়েয়ার আপনার উদ্ধৃত বাক্যটি আমি খুঁজে পাইনি তবে কেবল "ক্লাসের সদস্য সম্পূর্ণরূপে ক্লাস সদস্যের প্রবেশাধিকার that শ্রেণীর সংজ্ঞাতে উপস্থিত না হলে"
—
ইডকলভ 463035818
@ ল্যাঙ্গুয়েজএলওয়্যার ঠিক আছে তবে আমি সম্মত হই যে আমার ব্যাখ্যাটি বন্ধ ছিল এবং সি ++ 11 এর পরে কিছুটা পরিবর্তিত হয়েছে বলে মনে হচ্ছে যা উপরেরটিটিকে আরও নতুন মানের করে তবে সি ++ 11 এ নয়। উত্তর লিখতে কি আপত্তি করবেন?
—
idclev 463035818
.f()। এটা বোধগম্য; অসম্পূর্ণ টাইপেরBকোনও সদস্য নেইf।