OperatorのOverloadでConstructor

Question

OperatorのOverloadでConstructor

C++の入門者です。下記（引用１）のIBM Knowledge Centerの例題にはConstructorが記述して有りますが、その次に引用の（引用２乃至３）の例題にはConstructorに見える記述がありません。これはどういうことですか？私の見方が間違っていたら教えてください。。

###（引用１）
https://www.ibm.com/support/knowledgecenter/en/SSLTBW_2.3.0/com.ibm.zos.v2r3.cbclx01/cplr318.htm

#include <iostream>
using namespace std;

class complx
{
      double real,
             imag;
public:
      complx( double real = 0., double imag = 0.); // constructor
      complx operator+(const complx&) const;       // operator+()
};

// define constructor
complx::complx( double r, double i )
{
      real = r; imag = i;
}

// define overloaded + (plus) operator
complx complx::operator+ (const complx& c) const
{
      complx result;
      result.real = (this->real + c.real);
      result.imag = (this->imag + c.imag);
      return result;
}

int main()
{
      complx x(4,4);
      complx y(6,6);
      complx z = x + y; // calls complx::operator+()
}

###（引用２乃至３）
http://wisdom.sakura.ne.jp/programming/cpp/cpp27.html

#include<iostream>
using namespace std;

class String {
public:
	char *str;
	String operator =(char *str) {
		this->str = str;
		return *this;
	}
};

int main() {
	String str1 , str2;
	str1 = str2 = "Kitty on your lap\n";
	cout << str1.str << str2.str;
	return 0;
}

#include<iostream>
using namespace std;

class POINT {
public:
	long x;
	long y;
	void operator ++(int n) {
		x++; y++;
	}
	POINT operator ++() {
		++x; ++y;
		return *this;
	}
} obj1 , obj2 ;

int main() {
	obj1.x = 10; obj2.y = 5;
	obj2 = ++obj1;
	obj2++;

	cout << "x = " << obj1.x << "\ty = " << obj1.y << '\n';
	cout << "x = " << obj2.x << "\ty = " << obj2.y << '\n';
	return 0;
}

Answer 1

コンストラクタが一つも定義されていない場合、デフォルトコンストラクタが暗黙に生成されます。

---

引用2及び引用3のコードは、クラスの使い方としてはちょっと良くないように思います。
各メンバ変数の値を呼び出し側が後から決めてやらないといけないからです。

C++の演算子オーバーロードを語るにあたって、わざとC-likeな例にしているのかもしれませんが。

というか、引用3は未定義動作を踏んでいるような...
++obj1 している時点では obj1.y は不定値であるように思います。

Comments

[退会済みユーザー]

こんにちは。回答ありがとうございます。
なるほど、DefalutConstructorとは、こういうことになるのですね。
＞というか、引用3は未定義動作を踏んでいるような...++obj1 している時点では obj1.y は不定値であるように思います。
そうおもいました。それでVisualStudioで確かめたら何とかエラーなしに実行されましたが、疑問でした。

[KSwordOfHaste]

自分は最近この記事を読んだのですが、言語仕様により「どのようなメンバーが暗黙的に仮定されるか」を知るのにとても分かり易い記事だと思ったのでご紹介してみます。

https://yohhoy.hatenadiary.jp/entry/20140704/p1

[退会済みユーザー]

KSwordさん、ありがとうございます。早速読んでみます。

[退会済みユーザー]

KSwordさん、読んでみてますが、頭からつまづいてます。それぞれ下記の4つの読みはどうなるのか教えてください。
コピー・コンストラクタ X(const X&)
コピー代入演算子 X& operator=(const X&)
ムーブ・コンストラクタ X(X&&)
ムーブ代入演算子 X& operator=(X&&)

例えば、https://stackoverflow.com/questions/7796670/is-x-const-x-x-const-x　によれば、
「 X const& x 」は「 x is a reference to constant of type X」と読むらしいですね。
でも
「 X& const x 」は「 x is a constant reference to object of type X 」と読めても、これでは意味を成さない、と言っている人が居ます。

読み方が分かると理解しやすいので、お願いします。

[KSwordOfHaste]

そこは・・・C/C++の型表現に慣れるしかない・・・というのが自分の意見です。
例えばCのpointerは「int *p」と宣言しますね。「*int p」とかじゃないわけです。これは

「int*型の変数p」ということなのですが、それは別の箇所で区切ると
「int型の結果になるのは*pと書いたときだよ」というふうにも読めます。
Cはこういうような一貫性のとりかたをしたのだろうと自分は捉えていました。そのあたり慣れないと

int (*f)(int);

とか何言ってるのかわからなくなりますよね？C++はCの文法をベースにしており
const X& v;
を「&v」の型は「const X」すなわち「X型だけどその内容を変更してはならないというおまけつき」と読みます。自分はC/C++の型を解釈する際にそれを日本語や英語には変換しません。C/C++の言語そのものとして認識します。英語に慣れてくると一々英語を日本語に翻訳せずに英語のまま意味を読み取ろうとするようになってきますよね？それと同じだと自分は考えています。

[KSwordOfHaste]

コメント欄でおこたえしてしまいましたが、ここですべき話ではありませんでした。ご質問のポイントやLouiS0616さんの回答に直接関係することではないからです。この内容についての疑問があるなら別途質問を挙げたほうがよいと思います。>質問者さん
関係ないコメントをしてしまいました。失礼しました。>LouiS0616さん

[退会済みユーザー]

KSwordさん、ご丁寧な回答にまずは御礼申します。
原語での読み方を知ると分かりやすいのが私の学習法の一旦なのです。仕方ないので、このサイト、https://stackoverflow.com/　で質問をあげてみます。

[LouiS0616]

@KSwordOfHaste さん

いえいえ、お気になさらず。
コメントありがとうございます。

---
かたやアドレス解決、かたや参照(左辺値／右辺値)、&記号を使いまわしすぎという感もありますね。