অ-স্থিতিশীল ডেটা সদস্য এবং নেস্টেড ক্লাস কনস্ট্রাক্টরের ক্লাস ইনিশিয়ালাইজেশন ব্যবহার করার সময় ত্রুটি

Question 1

নিম্নলিখিত কোডটি বেশ তুচ্ছ এবং আমি প্রত্যাশা করেছি যে এটি জরিমানা সংকলন করা উচিত।

struct A
{
    struct B
    {
        int i = 0;
    };

    B b;

    A(const B& _b = B())
        : b(_b)
    {}
};

আমি এই কোডটি জি ++ সংস্করণ 4.7.2, 4.8.1, ঝাঁকুনি ++ 3.2 এবং 3.3 দিয়ে পরীক্ষা করেছি। এই কোডটিতে g ++ 4.7.2 সেগফাল্টগুলি ( http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57770 ) ছাড়াও অন্যান্য পরীক্ষিত সংকলকরা ত্রুটি বার্তা দেয় যা খুব বেশি ব্যাখ্যা করে না।

g ++ 4.8.1:

test.cpp: In constructor ‘constexpr A::B::B()’:
test.cpp:3:12: error: constructor required before non-static data member for ‘A::B::i’ has been parsed
     struct B
            ^
test.cpp: At global scope:
test.cpp:11:23: note: synthesized method ‘constexpr A::B::B()’ first required here 
     A(const B& _b = B())
                       ^

ঝনঝন ++ 3.2 এবং 3.3:

test.cpp:11:21: error: defaulted default constructor of 'B' cannot be used by non-static data member initializer which appears before end of class definition
    A(const B& _b = B())
                    ^

এই কোডটি সংকলনযোগ্য করা সম্ভব এবং মনে হয় এটির কোনও পার্থক্য করা উচিত নয়। দুটি বিকল্প রয়েছে:

struct B
{
    int i = 0;
    B(){} // using B()=default; works only for clang++
};

বা

struct B
{
    int i;
    B() : i(0) {} // classic c++98 initialization
};

এই কোডটি কি সত্যই ভুল বা সংকলকগুলি ভুল?

Question 2

এই কোডটি কি সত্যই ভুল বা সংকলকগুলি ভুল?

ভাল, না। স্ট্যান্ডার্ডটির একটি ত্রুটি রয়েছে - এটি উভয়ই বলে যে Aএটি আরম্ভকারীকে পার্স করার সময় সম্পূর্ণ বিবেচিত হয় B::iএবং এটি B::B()(যা আরম্ভকারীকে ব্যবহার করে B::i) এর সংজ্ঞা অনুসারে ব্যবহার করা যেতে পারে A। এটি পরিষ্কারভাবে চক্রাকার। এই বিবেচনা:

struct A {
  struct B {
    int i = (A(), 0);
  };
  A() noexcept(!noexcept(B()));
};

এই অসঙ্গতি রয়েছে: B::B()পরোক্ষভাবে হয় noexceptiff A()নিক্ষেপ না, এবং A()নিক্ষেপ না iff B::B()হয় না noexcept । এই অঞ্চলে অন্যান্য অনেকগুলি চক্র এবং বৈপরীত্য রয়েছে।

এটি 1360 এবং 1397 মূল ইস্যু দ্বারা ট্র্যাক করা হয়েছে । কোর ইস্যুতে বিশেষত এই নোটটি 1397:

সম্ভবত এটিকে সম্বোধনের সর্বোত্তম উপায় হ'ল এটি কোনও অ-স্থিতিশীল ডেটা মেম্বার ইনিশিয়ালাইজারকে তার শ্রেণীর একজন খেলাপী কন্সট্রাক্টর ব্যবহার করার জন্য এটির দুর্গন্ধযুক্ত করে তোলে।

এই সমস্যাটি সমাধান করার জন্য আমি যে নিয়মটি কলংয়ে প্রয়োগ করেছি তার একটি বিশেষ ঘটনা। ক্ল্যাংয়ের নিয়মটি হল যে কোনও শ্রেণীর জন্য ডিফল্ট ডিফল্ট কনস্ট্রাক্টর class শ্রেণীর অ স্থায়ী ডেটা মেম্বার ইনিশিয়ালাইজারগুলি পার্স করার আগে ব্যবহার করা যায় না। অতএব কলং এখানে ডায়াগনস্টিক ইস্যু করে:

    A(const B& _b = B())
                    ^

... কারণ ক্ল্যাংটি ডিফল্ট আরম্ভকারীদের পার্স করার আগেই ডিফল্ট তর্কগুলি পার্স করে এবং এই ডিফল্ট যুক্তিটির Bডিফল্ট ইনিশিয়েলাইজারদের ইতিমধ্যে পার্স করা আবশ্যক (স্পষ্টভাবে সংজ্ঞায়িত করার জন্য B::B())।

Question 3

হয়তো এই সমস্যা হয়:

§12.1 5. একটি ডিফল্ট কনস্ট্রাক্টর যা ডিফল্ট হয় এবং মুছে ফেলা হিসাবে সংজ্ঞায়িত হয় না তা স্পষ্টভাবে সংজ্ঞায়িত হয় যখন এটি ক্লাসের ধরণের (1.8) কোনও অবজেক্ট তৈরি করতে অদ্ভুতভাবে ব্যবহৃত হয় (1.8) বা এটি প্রথম ঘোষণার পরে স্পষ্টতই খেলাপি হয়

সুতরাং, প্রথম দেখাতে গেলে ডিফল্ট কনস্ট্রাক্টর তৈরি করা হয়, তবে লুক ব্যর্থ হবে কারণ A সম্পূর্ণরূপে সংজ্ঞায়িত হয়নি এবং A এর ভিতরে B এর সন্ধান করা হবে না।