>>365
型安全の定義はそのとおりだが、
10 == "10" という構文を許すためにはどちらかに自動の型変換が必要になる。
自動の型変換（コンストラクタにせよoperatorにせよ）そのものがC++では危険（必ずしも1対1に対応しないケースが往々にして生じる）なので、
この構文を許す機構が型安全でなくなる…というのがEffective C++の主張だったように思う。