問題タブ [c++20]

c++ 20 で提案され、一部のアルゴリズムは constexpr です。

例えば：

イテレータは一般に constexpr ではないことはわかっていますが。これは、constexpr コンテナーの場合にのみ役立つと思います。私が何かを見逃しているかどうか、そして私の理解が正しいかどうかを誰かが明確にすることができますか?.

要件: 複合型 'T' が与えられた場合、基本型として使用される非複合型は何ですか?

これまでのところ、私の試みはこのテンプレートエイリアスです:

例えば

これをテストするユースケースの数は、おそらく非常に多いでしょう。これをさらに進める前に、誰かがより良いアイデアや実装を持っているかどうか尋ねたいと思いますか?

そのようなことが論理的かどうかを尋ねています。これがユースケースの出番です。それが論理的であれば、それを書くことができます。

なぜこの機能は物議をかもしているのでしょうか? 残りのコンセプト TS と一緒に C++20 にマージされていないことがわかりました。Web を検索しても、ほぼすべての新しい C++ 機能に適用できる一般的なものを除いて、適切な引数を見つけることができませんでした。

人々は何をそんなに恐れているのですか？そこにはどのような落とし穴があるのでしょうか? 結局のところ、ジェネリック ラムダは既にあります。