我有一个函数来检查std :: string是否包含子字符串.我将字符串作为std :: string_view传递,这样就不会发生复制.
bool containsSubstr(std::string_view str,std::string_view substr)
{
return str.find(substr) != std::string::npos;
}
我现在想要使用新的C 17折叠表达式来创建一个函数,以检查字符串是否包含多个子字符串.再次,我想通过std :: string_views传递它们.
我怎样才能做到这一点？
template<typename... Substrs>
bool containsAllSubstr(std::string_view str,Substrs... substrs)
{
return (containsSubstr(str,substrs) && ...);
}
据我所知,上面的版本将把子串作为它们的类型.因此将复制一个std :: string.如何将类型修复为std :: string_view？就像是：
template<> // does not compile
bool containsAllSubstr(std::string_view str,std::string_view... substrs)
{
return (containsSubstr(str,substrs) && ...);
}
解决方法
您不能拥有特定类型的函数参数包.但这很好(一旦你添加const&)：
template <typename... Substrs>
bool containsAllSubstr(std::string_view str,Substrs const&... substrs)
{
return (containsSubstr(str,substrs) && ...);
}
这不会产生任何副本,如果你传递的东西不能转换成string_view,就不会编译.如果你想使SFINAE友好,可以添加一个条件：
template <typename... Substrs,std::enable_if_t<(std::is_convertible_v<Substrs const&,std::string_view> && ...),int> = 0> bool containsAllSubstr(std::string_view str,substrs) && ...); }
或者,如果您对语法稍有改动,可以使用数组：
template <size_t N> bool containsAllSubstr(std::string_view str,std::string_view (&substrs)[N]);
但是你实际上并没有立即拥有一个包.但是,你可以写一个循环.或者,如果您根本不需要编译时大小：
bool containsAllSubstr(std::string_view str,std::initializer_list<std::string_view> substrs);
