假设我有一个功能:
template <typename T>
void foo(const T& arg) {
ASSERT(is_valid<T>::value == true);
// ...
}
其中is_valid
检查T
是字符串还是整数。我可以很容易地制作出能够为我做到这一点的结构:
template <typename T>
struct is_integer { static const bool value = false; };
template <>
struct is_integer<int> { static const bool value = true; };
template <typename T>
struct is_string { static const bool value = false; };
template <>
struct is_string<std::string> { static const bool value = true; };
然后使用这两个结构检查参数:
template <typename T>
struct is_valid {
static const bool value = is_string<T>::value || is_integer<T>::value;
};
然而,似乎我错过了一些字符串类型。是否有针对所有字符串类型的C ++类型?是否已有可以为我做到这一点的结构或功能?
我得到了:
std::string
char*
char[]
在我的is_string
结构中,但似乎还不够。我没有通过const
和&
(引用),因为它没有经过这样的测试:从const T&
参数中,只测试了T
。
答案 0 :(得分:3)
如果 string 的以下定义适合您:
T
是一个字符串,当且仅当它可用于构造std::string
。
然后,您可以使用以下内容定义is_string<T>
template <typename T>
using is_string = std::is_constructible<std::string, T>;
is_constructible
is definable in C++98:)
#include <string>
#include <type_traits>
template <typename T>
using is_string = std::is_constructible<std::string, T>;
#include <iostream>
int main()
{
std::cout << std::boolalpha
<< is_string<const char*>::value << "\n"
<< is_string<volatile char*>::value << "\n"
<< is_string<std::string>::value << "\n"
;
}
输出:
真
假
真