如何使用类型特征仅比较类中具有多个参数的第一个模板参数?

选项#1

为每种类型提供单独的函数重载,以便您可以接受任何 StringT<char, ?> 在其中一个重载中:

template <size_t N>
void GetProperty(StringT<char, N>& val) {}

void GetProperty(bool val) {}

void GetProperty(int val) {}

DEMO 1

选项#2

写出你自己的类型特征:

#include <type_traits>

template <typename S, typename C>
struct IsStringT : std::false_type {};

template <typename C, size_t Size>
struct IsStringT<StringT<C, Size>, C> : std::true_type {};

template <typename T>
void GetProperty(T & val)
{
    static_assert(IsStringT<typename std::remove_cv<T>::type, char>{}, "FAILED");
}

template <>
void GetProperty<bool>(bool & val) {}

template <>
void GetProperty<int>(int & val) {}

DEMO 2

如果您可以控制 StringT 类,您可以向公共部分添加一个额外的字段,效果如下:

using char_t = CharType;

然后您可以将静态断言更新为:

static_assert(std::is_same<typename T::char_t, char>::value, "FAILED");

在本例中,任何具有 char_t 此处可以使用defined。

另一方面,如果你知道 GetProperty 将始终与 字符串T ,可以将其最外层定义更改为:

template<typename CharType, size_t Size>
void GetProperty(StringT<CharType,Size> & val)

…然后您可以直接访问 CharType .