C++类型的trait来提取模板参数的特殊化值

C++ type trait to extract specialization value of template argument

本文关键字：参数 特殊化 提取 类型 trait C++      更新时间：2023-10-16

我有以下模板：

template<typename T, const char *name_ >
struct named {
  typedef T type;
  static constexpr const char *name = name_;
};

我想有以下类型的特征：

  • 如果参数类型为"named"，将提取类型和名称（2个不同）
  • 如果参数不同，将提取原始类型和空字符串类型

示例：

template<typename T>
void foo() {
  typename cppdi::extract_type<T>::type x;
  std::cout << "type: " << typeid(x).name() <<
               ", name: " << cppdi::extract_name<T>::value << std::endl;
}
char bar[] = "bar";
void test() {
  foo<int>();             // type: i, name:
  foo<named<int, bar>>(); // type: i, name: bar
}

有可能实现这样的extract_type和extract_name吗？

这样写你的特征：

template< typename T >
struct extract_type
{ using type = T; };
template< typename T, const char* S >
struct extract_type< named< T, S > >
{ using type = T; };
template< typename T >
struct extract_name
{ static constexpr const char* value = ""; };
template< typename T, const char* S >
struct extract_name< named< T, S > >
{ static constexpr const char* value = S; };

单凭这一点是行不通的，你提供的代码在很多地方都是非法的。我在这个实例中修复了它们。

相关文章：