質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
87.20%
C++

C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

解決済

決して呼ばれないはずのデフォルトコンストラクタは、いつ呼ばれている?

asobinin
asobinin

総合スコア0

C++

C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

2回答

0評価

0クリップ

1483閲覧

投稿2019/11/02 16:19

編集2022/01/12 10:58

C++の多重継承を利用して自作のプロパティをつくっていたのですが、どこでも呼んでいないはずのデフォルトコンストラクタが呼ばれてしまい、エラーとなってしまっています。
試しにnone_options_property() : m_ref_value(a) { std::cout << "DEFAULT CONSTRUCTOR" << std::endl; }でテストしてみても、"DEFAULT CONSTRUCTOR"が表示されることはありませんでした。
一体どの箇所でデフォルトコンストラクタが呼ばれてしまっているのでしょうか?


コードが長くなってしまいますが、すべてのコントラスタはproperty_detail.hppの中の基底クラスであるnone_options_propertyのコントラスタを継承しています。

Cpp

// main.cpp #include "asobi/Cpp/property.hpp" int main() { int m_value = 810; asobi::property<decltype(m_value), FULL_OP> value(m_value); return 0; }

Cpp

// property.hpp #pragma once #define ASOBI_PROPERTY #include "detail/property_detail.hpp" #define GET_OP asobi::options::get #define SET_OP asobi::options::set #define FULL_OP asobi::options::get, asobi::options::set namespace asobi { // property template <class T, class... Options> class property final : virtual public detail::none_options_property<T>, public detail::property_options<T, Options...> { public: using detail::none_options_property<T>::none_options_property; }; } // namespace asobi

Cpp

// property_detail.hpp #pragma once #define ASOBI_DETAIL_PROPERTY_DETAIL #include <type_traits> #include <iostream> #include "../type_operation.hpp" int a = 0; // テスト用 namespace asobi { namespace options { struct get {}; struct set {}; } namespace detail { // 非アクセスプロパティ template <class T> class none_options_property { protected: // member variable T& m_ref_value; public: // constructor, destructor none_options_property() = delete; //none_options_property() : m_ref_value(a) { std::cout << "DEFAULT CONSTRUCTOR" << std::endl; } none_options_property(none_options_property& other) = delete; none_options_property(T& lvalue) : m_ref_value(lvalue) { std::cout << "NOMAL CONSTRUCTOR" << std::endl; } virtual ~none_options_property() = default; }; // getオプション付きプロパティ template <class T> class get_options_property : virtual public none_options_property<T> { public: // constructor, destructor using none_options_property<T>::none_options_property; public: // functions inline const T& get() const { return this->m_ref_value; } inline operator const T& () const { return this->m_ref_value; } }; // setオプション付きプロパティ template <class T> class set_options_property : virtual public none_options_property<T> { public: // constructor, destructor using none_options_property<T>::none_options_property; public: // functions inline auto& set(const T& value) { this->m_ref_value = value; return *this; } inline auto& set(T&& value) { this->m_ref_value = std::move(value); return *this; } inline auto& operator =(const T& value) { this->m_ref_value = value; return *this; } inline auto& operator =(T&& value) { this->m_ref_value = std::move(value); return *this; } inline auto& operator +=(T&& value) { this->m_ref_value += value; return *this; } inline auto& operator +=(const T& value) { this->m_ref_value += value; return *this; } inline auto& operator -=(T&& value) { this->m_ref_value -= value; return *this; } inline auto& operator -=(const T& value) { this->m_ref_value -= value; return *this; } inline auto& operator *=(T&& value) { this->m_ref_value *= value; return *this; } inline auto& operator *=(const T& value) { this->m_ref_value *= value; return *this; } inline auto& operator /=(T&& value) { this->m_ref_value /= value; return *this; } inline auto& operator /=(const T& value) { this->m_ref_value /= value; return *this; } inline auto& operator |=(T&& value) { this->m_ref_value |= value; return *this; } inline auto& operator |=(const T& value) { this->m_ref_value |= value; return *this; } inline auto& operator &=(T&& value) { this->m_ref_value &= value; return *this; } inline auto& operator &=(const T& value) { this->m_ref_value &= value; return *this; } inline auto& operator ^=(T&& value) { this->m_ref_value ^= value; return *this; } inline auto& operator ^=(const T& value) { this->m_ref_value ^= value; return *this; } }; // getがあるか template<class T, class... Options> struct has_get : public std::conditional<find_type<options::get, Options...>::value, get_options_property<T>, nothing>::type {}; // setがあるか template<class T, class... Options> struct has_set : public std::conditional<find_type<options::set, Options...>::value, set_options_property<T>, nothing>::type {}; // propertyが継承するもの template <class T, class... Options> struct property_options : public has_get<T, Options...>, public has_set<T, Options...> {}; } // namespace detail } // namespace asobi

Cpp

// type_operation.hpp #pragma once #define ASOBI_TYPE_OPERATION #include <tuple> #include <type_traits> namespace asobi { namespace detail { struct nothing {}; } // find_type // 型リストの中から、見つけたい型が含まれているかをチェックする // value・・・含まれている場合:true 含まれていない場合:false namespace detail { template <class FindType, class List> struct find_type_impl; template <class FindType, class Thead, class... Ttail> struct find_type_impl<FindType, std::tuple<Thead, Ttail...>> { static const bool value = std::is_same<FindType, Thead>::value ? true : find_type_impl<FindType, std::tuple<Ttail...>>::value; }; template <class FindType> struct find_type_impl<FindType, std::tuple<>> { static const bool value = false; }; } template <class FindType, class... List> struct find_type { static const bool value = detail::find_type_impl<FindType, std::tuple<List...>>::value; }; } // namespace my

良い質問の評価を上げる

以下のような質問は評価を上げましょう

  • 質問内容が明確
  • 自分も答えを知りたい
  • 質問者以外のユーザにも役立つ

評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

気になる質問をクリップする

クリップした質問は、後からいつでもマイページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

  • プログラミングに関係のない質問
  • やってほしいことだけを記載した丸投げの質問
  • 問題・課題が含まれていない質問
  • 意図的に内容が抹消された質問
  • 過去に投稿した質問と同じ内容の質問
  • 広告と受け取られるような投稿

評価を下げると、トップページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

まだ回答がついていません

会員登録して回答してみよう

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
87.20%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問

同じタグがついた質問を見る

C++

C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。