if文の条件式で代入してますが仕組みがわかりません。

Question

コード

//基底クラス
class Bottom
{
        public:
                char    esc;                   
                char    kind;          
                short   x1;                    
                short   y1;                     
                short   x2;                     
                short   y2;                     
                long    foreColor;      
                long    backColor;      
};

//派生クラス
class StraightLine : public Bottom
{
        public:

                char    lineKind;      
                char    NOT_USE;       
                short   startX;         
                short   startY;         
                short   endX;           
                short   endY;          

                //コンストラクタ
                StraightLine();

                //デストラクタ
                ~StraightLine();

};


int main()
{
    StraightLine *straightine = new StraightLine[2];
    std::vector<Bottom> bases;//全部入れるテーブル

   //ここらへんでpush_backでvectorにデータを入れています。

//イテレータで回しています
for (vector<Bottom>::iterator it = begin(bases); it != end(bases); ++it)
        {
                

　　　　　　　　　//聞きたいところはここです
                if (straightine = dynamic_cast<StraightLine*>(it)) {

                        //ここで派生クラスの関数で出力している

                }
                
        }
}


  
```現在、会社の研修であるプログラムを作っていますが、レビューで仕組みを説明できなくて困っています。
それが、基底クラスのvectorに派生クラスのデータを入れ、後でiteratorのfor文で回しながらvectorの中に入ってるデータを出力するところなのですが、iteratorからvectorの中の派生クラスのデータを出力しようとしたら、iteratorから派生クラスの中のデータにアクセス出来ないのです。

そのため、if文で条件式の中で新たに作った派生クラスのインスタンスの中にvectorのデータを代入して代入できたら出力するといった処理を書きました。

ですが、説明しても違うと言われ、資料を探しても関連したものが見つからなくて困っています。

うまい説明ができる方は教えてくださいますようお願いします。

Comments

[y_waiwai]

そのコードを提示しましょう

[Zuishin]

この説明はうまくできているんでしょうか？

[fana]

「違う」と言っている人に詳細を尋ねない理由は何か？　何故他所で訊くのか？

（質問文面だけ見るとスライシングしてそうだが）

[fana]

それはそれとして，
ifによって代入の可否を判断するという話がどのような実装となるのかがピンと来ないので
後学のためにコード提示いただきたいところ．

[gemfighter]

詳細を訪ねようとしても課題にならないからと言って教えてくれませんでした。

[Zuishin]

ここで尋ねても課題にならないのでは？

[gemfighter]

どこを調べても答えにたどり着けないので、もう他の人に聞きたくてここに書きました。

[Zuishin]

そういう時は指導者に「わかりませんでした」と正直に言うのが成功の一番の近道です。できたふりをすると取りこぼされます。

[gemfighter]

解らないといっても最後まで頑張れと言われたので困っています。

[fana]

このコードでまともな（所望の，あるべき）表示が成されるのか否かを動作確認されたのでしょうか？
した場合→その結果はどうでした？

[gemfighter]

ちゃんと動作しています。
ただ、条件式で代入できているかできてないかで判断しているとしか理解できていないため、説明ができないのです。

[fana]

仮にそのdynamic_castがコンパイル通るのだとしても，所望の結果を返すようには思えないです．

逆に言えば，「これでまともに動くのであって，その仕組みを説明するのだ」という話であるならば，
個々の要素に関して具体的な説明をしていけば良いのではないでしょうか．

・「基底クラスのvectorに派生クラスのデータを入れ」たらどうなるのか
・「iteratorから派生クラスの中のデータにアクセス出来ない」のは何故か
・その対処として記述したifの箇所の処理に関して
　・std::vector<Bottom>::iterator を dynamic_cast<StraightLine*> するとどうなるのか
　・そのdynamic_cast結果を代入する式の評価結果で分岐するifの具体的意味は何か
　・その他，StraightLine *straightine = new StraightLine[2];　←　これの[2]の理由とか
…
といった具合に．一つ一つ．

[gemfighter]

そうじゃなく、if文の仕様を説明しろみたいなことを言われました。

[fana]

であれば，説明すればよいのでは……

例えば，ifに関してちょっとふわっとしている場合でも，
if( a == 1 ) //aが1だったら
みたいなコードを書くことはできると思うのですが，
if( a = func() ) //()内が比較じゃないぞ？
といったコードを書くには相応の理解があるであろうと見えるので，訊かれているのだと思います．

[gemfighter]

代入できるかできないかで判断して真理値を返しているみたいな説明しても違うといわれて困っているのです。
もう、どう説明した良いのか解らないのです。

[fana]

何だろう，もっと根本的に
if( X ){ 処理A; }
とか書いた時，「XがどうだったらAが実施されるのか」というのを"ifの仕様"と呼ぶのではないでしょうか．
まずはそこのところからの説明が要求されているのでは？

[gemfighter]

そうじゃないらしいですね。
まず、「if文の条件文は比較演算子を書くのに、何で代入演算子で動作返しているかを答えなさい」みたいなことを言われました。
なのでどう説明したらいいのか解らないのです。

[Zuishin]

そこがわからないと書けないコードですが、あなたはこれを自分で書いたと言って提出したんですか？

[gemfighter]

代入出来たら結果を返すという漠然とした仕組みは知っていたので書けました。
ただ、レビューでどうやって説明したらいいか解らないんです。

[fana]

いや，だから，

(1) 代入文というのは，これこれこういう形に評価されるのであって，
(2) 他方，ifの仕様というのは「Xの部分がこうだったらこうなる」というものであるからして，
(3) よって，(1)と(2)より，代入文をif( X ) のXの部分に書いた場合には…

とか説明していけば良いのではないのか？
そこに代入文を書いたのは他ならぬあなたなのだから，当然 (1)～(3) は理解しているハズ（不足/不安ならCの基礎みたいなのをググるなりして２時間くらい復習でもすればいいし）で，あとはそれを順序立ててうまいこと「if文の条件文は比較演算子を書くのに」とかほざいている野郎を論破すれば良いのではないのか？

[Zuishin]

いいえ、それだけでは書けません。どう説明したらいいかわからないのではなく、あなた自身がこのコードの意味がわかっていません。

わからないまま人に聞いたりコピペしたりして泥沼にはまっているようにしか見えませんが、このままずぶずぶ行くつもりでしょうか？

[fana]

説明の形の１つとして…

int Func1(){ return 1; }
int Func2(){ return 2; }
...
if( Func1() + Func2() ){ A; }

とかいうのがある時，これを要約(変形?)していけば

if( Func1() + Func2() ){ A; }
というのは
if( 1 + 2 ){ A; }
になって，それは最終的に
if( 3 ){ A; } //←ここまできたら「ifの仕様：処理Aを実施するかしないか」という話になる

になるよね，みたいな．

これと同じように，あなたが書いたifを要約していけばどうでしょう？
（dynamic_castがit次第で何返すか異なるけども，そのパターン分の要約を示せばいい）

[kazuma-s]

コンパイルすらできないコードで質問しても意味がありません。
dyanmic_cast<型>(式) は、型も式も、ポインタか参照でないといけません。
if (straightine = dynamic_cast<StraightLine*>(it)) { の it はクラスのインスタンスであって、
ポインタではありません。

[fana]

（とりあえずここまでの複数個のコメントによって，今からでも把握すればよさそうな事柄に関しては割と網羅できたのではないかと思うけど…どうかな？）

[gemfighter]

>>kazuma-sさん
すみません、会社で書いたコードを思い出しながら書いたので、少し間違っているかもしれません。
ですが、今回はif文の条件文で何故代入演算子で動くかについての説明ですので、その説明をおねがいしたいのです。
>>fanaさん
if文に代入演算子を使うと、代入され、普通なら条件は常に条件は常に真理値が真の状態になります。
ただ今回はベクタに入っているデータを派生クラスのインスタンスに代入する式になっているので、代入できるかどうかの判定の式になります。
だいたいこんな説明をしました。

[raccy]

> すみません、会社で書いたコードを思い出しながら書いたので、少し間違っているかもしれません。
https://wandbox.org/permlink/xMxhkn6xBGJo7QOF
今のコードはコンパイルエラーになるだけなので、説明する以前の状態です。せめてちゃんとコンパイルして動作するコードにしてからでないと、回答の前提となっている質問のコードが間違っている可能性が高く、回答が無駄になってしまいます。プログラムは一文字違っただけで全く違う動作や逆の動作をする時もあります。「少しの間違い」は「大きな間違い」です。

コードの説明を求めるなら、まともに動くプログラムで質問するようにお願いします。

Answer 1

すみません、どうやら条件式の中で値が0かそれ以外で判別してるという答えが欲しかったみたいです。
ご迷惑おかけしました。

Answer 2

至極単純な例ですが

#include <iostream>

int main() {
  int a = 100, b = 0;

  if (a = b)
    std::cout << "true" << std::endl;
  else
    std::cout << "false" << std::endl;

  std::cout << a << std::endl;
  return 0;
}

この結果はどうなるでしょうか。aの値からみて代入は成功? 失敗?

参考としてC++とCの言語規格を挙げておきます。

JIS X 3014 プログラム言語Ｃ＋＋
5.17 代入演算子
<略> 代入演算の結果は、代入が行われた後の左の演算対象に格納された値とする。

JIS X3010 プログラム言語C
__6.5.16 代入演算子 __
<略> 代入式は，代入後の左オペランドの値をもつが，左辺値ではない

Answer 3

いい加減なコードで質問されてもちゃんとした説明をつけることはできません。

次のコードなら dynamic_cast について説明できます。

#include <iostream>
#include <vector>

using namespace std;

class Base {
public:
	char esc;
	Base() : esc('E') { }
	virtual ~Base() { }
	void print() { cout << "esc = " << esc  << endl; }
};

class A : public Base {
public:
	char lineKind;
	A() : lineKind('A') { }
	void print() { cout << "lineKind = " << lineKind  << endl; }
};

class B : public Base {
public:
	char lineKind;
	B() : lineKind('B') { }
	void print() { cout << "lineKind = " << lineKind  << endl; }
};


int main()
{
	vector<Base *> bases;
	A *ap;
	B *bp;

	bases.push_back(new A());
	bases.push_back(new B());

	for (vector<Base *>::iterator it = begin(bases); it != end(bases); ++it) {
		if (ap = dynamic_cast<A *>(*it)) {
			(*it)->print();
			ap->print();
		}
		else if (bp = dynamic_cast<B *>(*it)) {
			(*it)->print();
			bp->print();
		}
		else
			cout << "error\n";
	}
	for (vector<Base *>::iterator it = begin(bases); it != end(bases); ++it)
		delete *it;
}

bases は Base * の vector であり、
Base の派生クラスである A や B へのポインタ を入れることができます。

ところが、メンバ関数 print は virtual ではなく、
それぞれのクラスの独自データを表示するだけのものです。
*it は Base * であり、(*it)->print() では Base のデータしか表示できません。

そこで、*it を派生クラスへのポインタにキャストして、
それぞれのクラスのデータを表示させることにします。

dynamic_cast により正しくキャストできた場合はその派生クラスへのポインタが
入りますが、そうでなければ nullptr になります。
if文では、キャスト結果が nullptr かどうかをチェックしています。

追記
dynamic_cast の問題ではなく、if文の式に代入式が使用された場合の意味が
分からないという質問ですか？

次のコードの意味も分かりませんか？

#include <stdio.h>
#include <string.h>

int main()
{
	char buf[1024], *p;
	int len;
	while (fgets(buf, sizeof buf, stdin)) {
		if (p = strchr(buf, '\n'))
			*p = '\0';
		if (len = strlen(buf))
			printf("len('%s') = %d\n", buf, len);
		else
			puts("empty line");
	}
}

Comments

[actorbug]

Baseにvirtualデストラクタがないと、A,Bのデストラクタが呼ばれないのでは

[kazuma-s]

そうですね。間違って、virtual void hoge() {} なんて書いてしまいました。
回答を修正します。