菱型継承にて、set()は存在するのにoperator=だけが削除されるのは何故？

Question

菱型継承を利用してpropertyのようなものを実装しようと試みたのですが、原因が分からないエラーに悩まされています。

full_options_propertyを宣言しoperator =を利用しようとしたところ、「C2280 'full_options_property<int> &full_options_property<int>::operator =(const full_options_property<int> &)': 削除された関数を参照しようとしています」
というエラーが発生してしまいました。
ところが、引数も処理も全く同じset()は削除されずに問題なく使用できます。
何故operator =のみが削除されてしまっているのでしょうか？

full_options_propertyのコピーコントラスタにて、otherがget_options_propertyの機能しかアクセスできないということにも関連があるのでしょうか？

開発環境 OS:Windows10 Home コンパイラ: Visual Studio2019
(WandBoxでも試してみましたが、同様のエラーが出ました)

#include <utility>

// アクセス権限を持たないプロパティ
template <class T>
class none_options_property {
protected: // メンバ変数
	T m_value;
public: // コンストラクタ
	none_options_property() = default;
	none_options_property(const T& value) : m_value(value) {}
	none_options_property(T&& value) : m_value(std::move(value)) {}
	none_options_property(const none_options_property& other) : m_value(other.m_value) {}
	none_options_property(none_options_property&&) = default;
};

// getオプションを持ったプロパティ
template <class T>
class get_options_property : virtual public none_options_property<T> {
public: // コンストラクタ
	using none_options_property<T>::none_options_property;
	//get_options_property(const get_options_property& other) : none_options_property<T>(other.m_value) {}
public: // メンバ関数
	const T& get() const { return this->m_value; }
	operator const T& () const { return this->m_value; }
};

// setオプションを持ったプロパティ
template <class T>
class set_options_property : virtual public none_options_property<T> {
public: // コンストラクタ
	using none_options_property<T>::none_options_property;
	//set_options_property(const set_options_property& other) : none_options_property<T>(other.m_value) {}
public: // メンバ関数
	auto& set(const T& value) { this->m_value = value; return *this; }
	auto& set(T&& value) { this->m_value = std::move(value); return *this; }
	auto& set(const none_options_property<T>& other) { this->m_value = other.m_value; return *this; }
	auto& operator =(const T& value) { this->m_value = value; return *this; }
	auto& operator =(T&& value) { this->m_value = std::move(value); return *this; }
	auto& operator =(const none_options_property<T>& other) { this->m_value = other.m_value; return *this; }
};

// get, setオプションを持ったプロパティ
template <class T>
class full_options_property final :  public get_options_property<T>, public set_options_property<T> {
public: // コンストラクタ
	full_options_property() : none_options_property<T>(), get_options_property<T>(), set_options_property<T>() {}
	full_options_property(const T& value) : none_options_property<T>(value), get_options_property<T>(value), set_options_property<T>(value) {}
	full_options_property(T&& value) : none_options_property<T>(std::move(value)), get_options_property<T>(std::move(value)), set_options_property<T>(std::move(value)) {}
	full_options_property(const full_options_property& other) : none_options_property<T>(other), get_options_property<T>(other), set_options_property<T>(other) {}
};

int main()
{
	full_options_property<int> t(1134);
	t.set(810);
	t = 2;

	return 0;
}

Answer 1

こんにちは。

clangでやってみると、懇切丁寧なエラーメッセージが表示されました。たぶんconceptの威力ですね。
結論としては、none_options_propertyでムーブ代入演算子が定義されているからコピー代入演算子が暗黙的に削除され、それが原因でfull_options_property のコピー代入演算子が暗黙的に削除されているようです。

このエラー・メッセージは素晴らしい！！

Comments

[asobinin]

なるほど、Tがproperty型の時に矛盾があるから、コンパイラが削除したということですね！
それにしても、コンパイラによってエラーメッセージもこれほどにまで変わるのですね…
wandbox=gccと思っておりましたが、こうしてみると何故wandboxが支持を得ているのかがよくわかりますね。