ユニバーサルで均一な初期化： `double`から` int`

Question

Visual Studio 2015アップデート3. C++ 11 \ C++ 14。 intについては

：

constexpr int ci1 {50}; 
constexpr int ci2 {500}; 

char c1 {ci1}; // OK 
char c2 {ci2}; // compilation error 

すなわち、 ユニバーサルで均一な初期化は、コンパイルモード（int〜char）の値をチェックできます。この例は、Bjarne Stroustrupによって彼の著書に掲載されました。

は、私は、これはdoubleintにケースのために真であることを期待、しかしそれは、Visual Studio 2015 Update 3のために動作しません：

constexpr double cd {4.0}; 
int i1 {cd}; // compilation error 

エラーメッセージ：

C2397変換から'double'から 'int'までの範囲は狭くする必要があります 変換

私の2番目のコード例では正しい動作ですか、それともVisual Studio専用ですか？

Answer 1

double型からint型への変換は狭くなります。なぜなら、double型は有理数を表すからです。 （0.5）正確である必要はない（1.は1.000000001である）ので、変換は情報を失う。

このような変換には明示的なキャストを使用してください。すべて正常に行われるか、普遍的な初期化は使用されません。

Answer 2

double~int変換は常に縮小と見なされるため、Bjarne Stroustrupはこのようなキャストのための書籍でnarrow_cast<>の実装を作成しています。