is_conversion_function_template.md

is_conversion_function_template

• meta[meta header]
• std::meta[meta namespace]
• function[meta id-type]
• cpp26[meta cpp]

namespace std::meta {
  consteval bool is_conversion_function_template(info r);
}

• info[link info.md]

概要

変換関数テンプレートであるかを判定する。変換関数テンプレートとは、template <class T> operator T()のようなテンプレート化された変換関数のことである。

戻り値

rが変換関数テンプレートを表す場合にtrueを返す。

例

#include <meta>

struct S {
  operator int() const { return 0; } // 変換関数
  template <class T>
  operator T() const { return T{}; } // 変換関数テンプレート
};

int main() {
  template for (constexpr auto m :
      std::define_static_array(std::meta::members_of(^^S, std::meta::access_context::unchecked()))) {
    if constexpr (std::meta::is_conversion_function_template(m)) {
      // template <class T> operator T() のみがここに到達する
      static_assert(std::meta::is_template(m));
      static_assert(!std::meta::is_conversion_function(m));
    }
  }
}

• std::meta::is_conversion_function_template[color ff0000]
• std::meta::is_template[link is_template.md]
• std::meta::is_conversion_function[link is_conversion_function.md]
• std::meta::members_of[link members_of.md]
• std::meta::access_context[link access_context.md]
• unchecked[link access_context/unchecked.md]

出力

バージョン

言語

• C++26

処理系

• Clang: ??
• GCC: ??
• Visual C++: ??

備考

• GCC 16では、変換関数テンプレートを含むクラスのメンバをstd::meta::members_of()で取得してstd::define_static_array()に渡す（あるいはtemplate forで展開する）と、内部コンパイラエラー（ICE）が発生する

参照

• P2996R13 Reflection for C++26