私は静的アサーションを実行して、A と B の 2 つのタイプをチェックしようとしています。クラス A には、署名 A(B& b) または A(const B& b) のパブリック コンストラクターが必要です。
public A(B& b) または A(const B& b) または A(B b) が存在するかどうかis_constructable_from<A, B>::value
を評価するようなものが欲しいです。true
これは boost is_convertible type_traitとは多少異なると思います。
どうすればこれを達成できますか?
Boost Type Traits または Concept Check ライブラリでこれを行うものを見逃していませんか?
現在、式が有効なものであることを静的にチェックするためにこれが必要です。これA a(b)
は、Sehe が示唆しているように、以前の概念よりも制限が緩くなっています。両方のケースの解決策を歓迎します。Boost を使用することが許可されています。