ｅｘｐｌｉｃｉｔの定義は？

質問

Ｃ＋＋においてｅｘｐｌｉｃｉｔについて調べると

explicit ＜エクスプリシット＞
　「明示的」
　引数をひとつだけ受け取るコンストラクタに付けることのできる C++ 言語のキーワード。
　クラスを関数の引数として使う場合、その関数には、クラスのコンストラクタの引数になっているものも渡すことができてしまう。これは暗黙的にコンストラクタが呼び出されるからである。このとき、「コンストラクタの引数」がまるで「関数の引数」であるかのように振る舞ってしまい、本来ならコンパイルエラーとなって欲しい場面でも、見えない部分でコンストラクタが呼ばれることでコンパイルが通ってしまう。その結果、想定していない動作をする可能性がある。
　そこで、コンストラクタには「暗示的に呼び出せない」ようにするためのキーワードがある。それが explicit である。このキーワードを付けたコンストラクタは、必ず明示的に呼び出される必要があり、前述のようなことをしようとするとコンパイル時にエラーが発生する。

となっていました

「クラスを関数の引数として使う場合、その関数には、クラスのコンストラクタの引数になっているものも渡すことができてしまう。」

のところが分かりません
具体例で説明してください

例えば
template<class CharType,class Attr=char_traits<CharType>,
Class Allocator=allocator<T> >class basic_string
クラスのコンストラクタが
explicit basic_string(const Allocator &a=Allocator());
ですがこのケースについて説明していただければ幸いです

回答No.4

επιστημη（@episteme） · ベストアンサー

他の方の意見がどうであれ、あなたが不要と思うなら使わなければいいだけのことではありませんか？
# 僕もあなたも、言語設計者ではないのだから

お礼

できてしまったものは愚痴を言ってもしかたがないですね
ありがとうございました

回答No.3

επιστημη（@episteme）

> ｆ（３）はｆ（Ａ（３））を意味するということですか？

YES

> これで何かまずい例はありますか？

int から A に明示的に変換して欲しくないとき。

class A { public: A(int); };
class B { public: B(int); };

void f(const A&);
void f(const B&);

int main() {
f(3); // エラー:どっちを呼ぶか決定できない
return 0;
}

補足

Ａ　ａ＝ｂ；／／（１）
が
Ａ　ａ（ｂ）；／／（２）
を意味するのはａとｂが厳密に同じＡ型であるときだけにしていればこのような混乱は発生しなかったのに柔軟性を求めすぎた結果ですね

ａとｂが厳密に同じ型でなくても（１）と（２）が同じということにすることによるメリットはあるのでしょうか？
basic_string str="moji";
などは
basic_string str("moji");
としないといけないという風にしたからといってそれほど不便はないと思うのですが
むしろexplicitなるキーワードを追加しなくてすみ混乱しなくなりバグも少なくなるような気がします

なにか意見をいただければ幸いです

回答No.2

επιστημη（@episteme）

> explicit basic_string(const Allocator &a=Allocator());
> ですがこのケースについて説明していただければ幸いです

explicitでないと、Allocatorからbasic_stringへの暗黙の変換が起こってしまうことになります。

std::allocator<char> a;
std::string str = a; // できちゃう

basic_stringの実装者はその変換を望まないのでexplicitにしたのでしょう。

回答No.1

επιστημη（@episteme）

class A {
public:
A(int);
};

void f(const A&);

int main() {
f(3); // non-explicitであるがためにintからAへの変換が起こる
return 0;
}

補足

ｆ（３）はｆ（Ａ（３））を意味するということですか？
これで何かまずい例はありますか？
よろしくお願いします