键入特征样式以测试 T 是basic_string<>还是可打印的类似字符串的类型？

Question

我正在编写一个可以使用 ostream 的模板打印范围：

template<class T>
struct range_out {  
range_out(T& range) : r_(range) {
}
T& r_;
//static_assert(std::is_same<T::); //check that T is not std::string (std::string, etc. should just use << operator directly instead)
};
template <typename T>
std::ostream& operator<< (std::ostream& out, range_out<T>& range) {
constexpr std::string_view sep{ std::is_arithmetic<T>::value ? ", " : "', '" }; //<<-- better way to check for string-like type ?
if (!range.r_.empty()) {
out << '[';
for (auto& e : range.r_) {
out << e << sep;
}
out << std::string(sep.size(), 'b') << "]";
}
return out;
}

有没有一些"简单"的方法来检查T是否属于basic_string<>类型？(如果有帮助的话，我确实有提升(

我的第二个小问题是我想在"类似字符串"的类型周围添加 qoutes，但同样，是否有一些"简单"的方法来测试这个 im 忽略？

Answer 1

您可以编写自定义特征：

#include <string>
#include <type_traits>
template
<
typename x_MaybeString
> struct
is_basic_string: public ::std::false_type {};
template
<
typename x_Char
,   typename x_Traits
,   typename x_Allocator
> struct
is_basic_string<::std::basic_string<x_Char, x_Traits, x_Allocator>>: public ::std::true_type {};

我想你可以为"字符串状"类型编写类似的特征。std::string_view可能是一个很好的候选人。

Answer 2

你可以只使用这个行特征：

template <typename T>
inline constexpr bool is_string_type_v = std::is_convertible_v<T, std::string_view>;

它适用于几种"类似字符串"的类型：

static_assert(is_string_type_v<std::string>);
static_assert(is_string_type_v<std::string_view>);
static_assert(is_string_type_v<const char*>);
static_assert(is_string_type_v<char*>);
static_assert(is_string_type_v<char* const>);
static_assert(is_string_type_v<const char* const>);
static_assert(is_string_type_v<char (&)[5]>);
static_assert(is_string_type_v<const char (&)[5]>);

我从std::string的 c++17 构造函数中窃取了这个特征，因为可以隐式转换为std::string_view的类型可以被视为"类字符串"类型。