valarray のコードがコンパイルエラーになる

[melpon]

https://github.com/cpprefjp/site/blob/master/reference/valarray/valarray.md の２番目のコードが Clang でコンパイルエラーになります。

http://melpon.org/wandbox/permlink/z5tIcHzSx6BeE3oD

gcc では発生しないのですが、どちらの方が正しいのかいまいち分からず…。

[usagi]

b[std::slice(0,2,3)] = {'x','y'};

↓

b[std::slice(0,2,3)] = a_type({'x','y'});

コンパイル時に明示的にa_type型にしてあげればClang-HEADでも期待通りの結果が得られますね。

この問題の直接の原因は {'x','y'} を std::valarray の std::slice の operator= がClang-HEADではstd::valarrayに型変換されてくれない挙動のようです。

cpprefjpとしての問題は、このClangの挙動（{'x','y'}をstd::valarray型に暗黙的に変換しない）がC++規格として正しいか、という事になるかと思います。

さしあたりは、Clang-HEADでコンパイルできない事の解決としても、明示的なコードとしても、冒頭に挙げたClang-HEADでもコンパイル可能なパターンへの変更をpull-reqしておきます。

[kariya-mitsuru]

libc++ の問題のように見えますね。
slice_array には

void operator=(const valarray<T>&) const;

が無きゃならないのに、libc++ には

template <class _Expr>
typename enable_if<__is_val_expr<_Expr>::value, void>::type operator=(const _Expr& __v) const;

しかないです。
operator= の引数がテンプレートパラメータなので、initializer_list から valarray への暗黙変換がされないのではないかと思います。
試しに {'x','y'} を std::valarray<v_type>{'x','y'} に変更したら clang & libc++ でもコンパイルできました。

http://melpon.org/wandbox/permlink/KSMdklUGHtL9oQWJ

[kariya-mitsuru]

あ、かぶった…
そして a_type ありましたね…orz
上に書いたとおり、clang でも libstdc++ 使えばコンパイルできます。

[usagi]

本来は元のままでもコンパイルされて然るべき、とは言え最新のClang++というかlibc++で通らないサンプルを注釈を付けて掲載するのもユーザーフレンドリーではありませんし、hotfixの対応はそれほど複雑化するものではないので、どなたか確認頂いた上でさしあたりはpull-reqの修正をmergeして頂ければいいかな、と思います。

と、同時にlibc++にバグ報告を挙げるべきででしょうか。

※只今よりお仕事タイム的にしばらくスレッドに出没できなくなります。夕方以降にまたスレッド確認します。

[melpon]

バグ報告が終わったら Close する方向で。

[kariya-mitsuru]

バグレポの栄誉頂きました！

http://llvm.org/bugs/show_bug.cgi?id=17814

＃英文は気にしない方向で…

[melpon]

ありがとうございます！
valarray のコードは修正されたし、バグ報告もしたので、これで問題は解決したということで Close します。