Skip to main content
微修正
ソース リンク
fana
  • 321
  • 1
  • 6

(2) 関数やメソッドの処理を開始するには,既述のように,まずは先に引数のオブジェクトを構築する必要がある.
オブジェクトの構築とはコンストラクタの実施により成されるのだから,つまりコンストラクタを呼ぶ(実行する)必要がある.
ここで,コンストラクタが複数ある場合には,どれを用いるのかを決めなければならないわけだが,その決定ルールとは上記の(1)である.
つまり「(暗黙的な?)コンストラクタ呼び出しにて引数として与えた物」によってどのコンストラクタが呼ばれるかが決まる.
では,ここで「引数に与えた物」とは何なのか?→っていうと,それは関数呼び出し元で引数に渡した物である
この.(仮引数を実引数で初期化するぜ,っていう話)

この回答内のコード例で言えば,//(1) では const T& 型の物を渡している(※)
 ので,コレが関数 Test Func( Test t ) の引数の t のコンストラクタ呼び出し時の引数となり,結果として,Test::Test( const Test & ) が呼ばれる.
//(2) だと std::move(t) とかいうやつを用いた結果として T&& 型の物を渡しているので,結果として,Test::Test( Test && ) が呼ばれる.

(2) 関数やメソッドの処理を開始するには,既述のように,まずは先に引数のオブジェクトを構築する必要がある.
オブジェクトの構築とはコンストラクタの実施により成されるのだから,つまりコンストラクタを呼ぶ(実行する)必要がある.
ここで,コンストラクタが複数ある場合には,どれを用いるのかを決めなければならないわけだが,その決定ルールとは上記の(1)である.
つまり「(暗黙的な?)コンストラクタ呼び出しにて引数として与えた物」によってどのコンストラクタが呼ばれるかが決まる.
では,ここで「引数に与えた物」とは何なのか?→っていうと,それは関数呼び出し元で引数に渡した物である
この回答内のコード例で言えば,//(1) では const T& 型の物を渡している(※)
 ので,コレが関数 Test Func( Test t ) の引数の t のコンストラクタ呼び出し時の引数となり,結果として,Test::Test( const Test & ) が呼ばれる.
//(2) だと std::move(t) とかいうやつを用いた結果として T&& 型の物を渡しているので,結果として,Test::Test( Test && ) が呼ばれる.

(2) 関数やメソッドの処理を開始するには,既述のように,まずは先に引数のオブジェクトを構築する必要がある.
オブジェクトの構築とはコンストラクタの実施により成されるのだから,つまりコンストラクタを呼ぶ(実行する)必要がある.
ここで,コンストラクタが複数ある場合には,どれを用いるのかを決めなければならないわけだが,その決定ルールとは上記の(1)である.
つまり「(暗黙的な?)コンストラクタ呼び出しにて引数として与えた物」によってどのコンストラクタが呼ばれるかが決まる.
では,ここで「引数に与えた物」とは何なのか?→っていうと,それは関数呼び出し元で引数に渡した物である.(仮引数を実引数で初期化するぜ,っていう話)

この回答内のコード例で言えば,//(1) では const T& 型の物を渡している(※)ので,コレが関数 Test Func( Test t ) の引数の t のコンストラクタ呼び出し時の引数となり,結果として,Test::Test( const Test & ) が呼ばれる.
//(2) だと std::move(t) とかいうやつを用いた結果として T&& 型の物を渡しているので,結果として,Test::Test( Test && ) が呼ばれる.

追記
ソース リンク
fana
  • 321
  • 1
  • 6

(2) 関数やメソッドの処理を開始するには,既述のように,まずは先に引数のオブジェクトを構築する必要がある.
オブジェクトの構築とはコンストラクタの実施により成されるのだから,つまりコンストラクタを呼ぶ(実行する)必要がある.
ここで,コンストラクタが複数ある場合には,どれを用いるのかを決めなければならないわけだが,その決定ルールルールルールとは上記の(1)である.
つまり「(暗黙的な?)コンストラクタ呼び出しにて引数として与えた物」によってどのコンストラクタが呼ばれるかが決まる.
では,ここで「引数に与えた物」とは何なのか?→っていうと,それは関数呼び出し元で引数に渡した物である.
この回答内のコード例で言えば,//(1) では const T& 型の物を渡している(※)
ので,コレが関数 Test Func( Test t ) の引数の t のコンストラクタ呼び出し時の引数となり,結果として,Test::Test( const Test & ) が呼ばれる.
//(2) だと std::move(t) とかいうやつを用いた結果として T&& 型の物を渡しているので,結果として,Test::Test( Test && ) が呼ばれる.

(※):呼び出し元の記述 t = Func(t); を見ただけでは,引数に与えた物の型というのが{ Test, Test &, const Test & }のどれなのかは判断付かないが,これらの候補の中で Test のコンストラクタが用意されているのは const Test & だけなので「const Test & 型を渡した」ということにされる.

(2) 関数やメソッドの処理を開始するには,既述のように,まずは先に引数のオブジェクトを構築する必要がある.
オブジェクトの構築とはコンストラクタの実施により成されるのだから,つまりコンストラクタを呼ぶ(実行する)必要がある.
ここで,コンストラクタが複数ある場合には,どれを用いるのかを決めなければならないわけだが,その決定ルールルールとは上記の(1)である.
つまり「(暗黙的な?)コンストラクタ呼び出しにて引数として与えた物」によってどのコンストラクタが呼ばれるかが決まる.
では,ここで「引数に与えた物」とは何なのか?→っていうと,それは関数呼び出し元で引数に渡した物である.
この回答内のコード例で言えば,//(1) では const T& 型の物を渡しているので,コレが関数 Test Func( Test t ) の引数の t のコンストラクタ呼び出し時の引数となり,結果として,Test::Test( const Test & ) が呼ばれる.
//(2) だと std::move(t) とかいうやつを用いた結果として T&& 型の物を渡しているので,結果として,Test::Test( Test && ) が呼ばれる.

(2) 関数やメソッドの処理を開始するには,既述のように,まずは先に引数のオブジェクトを構築する必要がある.
オブジェクトの構築とはコンストラクタの実施により成されるのだから,つまりコンストラクタを呼ぶ(実行する)必要がある.
ここで,コンストラクタが複数ある場合には,どれを用いるのかを決めなければならないわけだが,その決定ルールとは上記の(1)である.
つまり「(暗黙的な?)コンストラクタ呼び出しにて引数として与えた物」によってどのコンストラクタが呼ばれるかが決まる.
では,ここで「引数に与えた物」とは何なのか?→っていうと,それは関数呼び出し元で引数に渡した物である.
この回答内のコード例で言えば,//(1) では const T& 型の物を渡している(※)
ので,コレが関数 Test Func( Test t ) の引数の t のコンストラクタ呼び出し時の引数となり,結果として,Test::Test( const Test & ) が呼ばれる.
//(2) だと std::move(t) とかいうやつを用いた結果として T&& 型の物を渡しているので,結果として,Test::Test( Test && ) が呼ばれる.

(※):呼び出し元の記述 t = Func(t); を見ただけでは,引数に与えた物の型というのが{ Test, Test &, const Test & }のどれなのかは判断付かないが,これらの候補の中で Test のコンストラクタが用意されているのは const Test & だけなので「const Test & 型を渡した」ということにされる.

追記
ソース リンク
fana
  • 321
  • 1
  • 6

追記:(素人なのでいろいろと言葉が正確じゃないと思うけど)

(1) コンストラクタであろうが,そうじゃないメソッド/関数 であろうが,オーバーロードが複数存在する場合,
どれが呼ばれるのかは呼び出し元が与えた引数によって決まる.(っていうのが C++ のルールであるハズ)

(2) 関数やメソッドの処理を開始するには,既述のように,まずは先に引数のオブジェクトを構築する必要がある.
オブジェクトの構築とはコンストラクタの実施により成されるのだから,つまりコンストラクタを呼ぶ(実行する)必要がある.
ここで,コンストラクタが複数ある場合には,どれを用いるのかを決めなければならないわけだが,その決定ルールルールとは上記の(1)である.
つまり「(暗黙的な?)コンストラクタ呼び出しにて引数として与えた物」によってどのコンストラクタが呼ばれるかが決まる.
では,ここで「引数に与えた物」とは何なのか?→っていうと,それは関数呼び出し元で引数に渡した物である.
この回答内のコード例で言えば,//(1) では const T& 型の物を渡しているので,コレが関数 Test Func( Test t ) の引数の t のコンストラクタ呼び出し時の引数となり,結果として,Test::Test( const Test & ) が呼ばれる.
//(2) だと std::move(t) とかいうやつを用いた結果として T&& 型の物を渡しているので,結果として,Test::Test( Test && ) が呼ばれる.


追記:(素人なのでいろいろと言葉が正確じゃないと思うけど)

(1) コンストラクタであろうが,そうじゃないメソッド/関数 であろうが,オーバーロードが複数存在する場合,
どれが呼ばれるのかは呼び出し元が与えた引数によって決まる.(っていうのが C++ のルールであるハズ)

(2) 関数やメソッドの処理を開始するには,既述のように,まずは先に引数のオブジェクトを構築する必要がある.
オブジェクトの構築とはコンストラクタの実施により成されるのだから,つまりコンストラクタを呼ぶ(実行する)必要がある.
ここで,コンストラクタが複数ある場合には,どれを用いるのかを決めなければならないわけだが,その決定ルールルールとは上記の(1)である.
つまり「(暗黙的な?)コンストラクタ呼び出しにて引数として与えた物」によってどのコンストラクタが呼ばれるかが決まる.
では,ここで「引数に与えた物」とは何なのか?→っていうと,それは関数呼び出し元で引数に渡した物である.
この回答内のコード例で言えば,//(1) では const T& 型の物を渡しているので,コレが関数 Test Func( Test t ) の引数の t のコンストラクタ呼び出し時の引数となり,結果として,Test::Test( const Test & ) が呼ばれる.
//(2) だと std::move(t) とかいうやつを用いた結果として T&& 型の物を渡しているので,結果として,Test::Test( Test && ) が呼ばれる.

ソース リンク
fana
  • 321
  • 1
  • 6
読み込んでいます