4

興味本位であり、実用コードが有るわけでもないのですが質問させて下さい

例えば以下のコードです

class hoge{
    //...
};

template<
    std::enable_if_t<is_constexpr_type<hoge>,std::nullptr_t> = nullptr //←is_constexpr_typeを実現する方法は有るか
> 
isConstexpr(){
    //...
}

このように、コンパイル時にconstexpr変数として振る舞える型かを確認する方法は有りますか?

また(ついでに分かればお伺いしたいのですが)、std::is_literal_typeが削除された事は上記の結果に関わるものですか?
(C++17時点で削除が決定していたのか、C++20で対策が確立されたので削除されたのか)

1 件の回答 1

5

std::is_literal_typeにまとめられています。C++14でvoidを対象に追加、C++17で非推奨、C++20で削除とのことです。

非推奨・削除の詳細

この型特性は、ジェネリックコードにおいて特定の型がconstexprに振る舞えるかを判定する機能を持つが、ユーザー定義型の場合には「少なくとも一つ以上のconstexprコンストラクタを持つこと」という条件になっていた。しかし、いずれかのコンストラクタがconstexprで、それ以外がconstexprコンストラクタではなく、それに意味がある場合に、この型特性は使いにくかった。

実際に必要となるのは、特定の型がconstexprに振る舞えるかではなく、特定の構築処理で定数初期化ができるかであるため、リテラル型という考え方は廃止すべきである、という結論になった。

とのことです。


std::is_literal_typeの代替案(リテラル型に変わる概念)及びその実現方法がC++20以降に有るか。

上記の通り、型がリテラルであるかどうかという考え方が不適切という判断です。そのため廃止に向けた手順として、C++17で非推奨化、C++20で削除という動きになっています。当然、C++17の時点でその判断がされています。

これも上記の通りなのですが、代替案ではなく、型がリテラルかどうかではなく、コンストラクタがconstexprかどうかで判断すべきです。同じ型であってもコンストラクタのオーバーロードによって異なるためです。

なお、式がconstexprかどうかを判断する方法としてIs it possible to know when is constexpr really a constexpr?で次の方法が紹介されていました。

template <class T>
constexpr void test_helper(T&&) {}

#define IS_CONSTEXPR(...) noexcept(test_helper(__VA_ARGS__))

キーワードnoexceptには2つの機能があり、

  • 例外仕様としてのnoexcept
  • 式が例外を送出する可能性があるか判定するnoexcept演算子

後者を利用します。constexpr式は例外を出さないためnoexcept演算子に与えた場合、trueを返します。constexpr式でなかった場合は例外を出すかどうかは式に依存します。そこでtest_helperを使用し例外が必ず出ると判断させることでfalseを得ます。

2
  • ご回答ありがとうございます、std::is_literal_typeがそのような特性を所持していること。constexprが1つ以上という要件から厳密な定数チェックには適さないことは存じておりました。 その上でstd::is_literal_typeの代替案(リテラル型に変わる概念)及びその実現方法がC++20以降に有るか。またstd::is_literal_typeはその代替案が出来てから消す事になっていたのか、それともC++17時点で出来てなかったとしても削除することが決定していたのか お伺い出来ればと思ったのですが、いかがでしょうか。
    – ababan
    Commented 2020年5月10日 20:09
  • 追記ありがとうございます、代替案云々ではなく、そもそもその手段が不適切であるが故の非推奨化だったのですね。勘違いしておりました。 またconstexprコンストラクタのチェック方法についてもご提示いただきありがとうございます。noexcept+ヘルパー関数を噛ませてチェックする方法が有ったとは目から鱗でした。ありがとうございます。
    – ababan
    Commented 2020年5月10日 21:31

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。