如何匹配模板参数字符集

How to match set of template parameter characters

本文关键字：参数 字符集 何匹配      更新时间：2023-10-16

我正在使用Visual Studio 2013 RTM。

我正在尝试编写一个与多个字符之一匹配的可变参数模板。 递归情况很容易，但我正在努力编写基本情况。

template <char C, char... Cs>
auto char_match(char c) -> bool
{
    return c == C || char_match<Cs...>(c);
}

我尝试了以下基本情况，但没有奏效。 我知道你可以用类模板做到这一点，而且我很确定你不能用函数模板做到这一点。

template <>
auto char_match(char c) -> bool
{
    return false;
}

错误 C2912："布尔char_match（字符）"的显式专用化不是函数模板的专用化

我也尝试在返回类型上使用 std：：enable_if，但Microsoft不喜欢它。

template <char C, char... Cs>
typename std::enable_if<sizeof...(Cs) != 0, bool>::type char_match(char c)
{
    return c == C || char_match<Cs...>(c);
}
template <char C, char... Cs>
typename std::enable_if<sizeof...(Cs) == 0, bool>::type char_match(char c)
{
    return c == C;
}

错误 C2039："类型"：不是"std：：enable_if"的成员

我将不胜感激任何关于如何完成这项工作的建议。

没有比主模板更专业的"专业化"了，所以这是行不通的。我认为最简单的解决方案是使用类模板：

template <char ...> struct char_match_impl;
template <> struct char_match_impl<>
{
    static bool go(char) { return false; }
};
template <char C, char ...Cs> struct char_match_impl<C, Cs...>
{
    static bool go(char c) { return c == C || char_match_impl<Cs...>::go(c); }
};
template <char ...Cs>
bool char_match(char c)
{ return char_match_impl<Cs...>::go(c); }

在您的特定情况下，没有递归的理由，只需使用

template< char... Cs >
bool char_match( char c )
{
    constexpr const std::array< char, sizeof...( Cs ) > a {{ Cs... }};
    return std::find_if(std::begin(a), std::end(a),
                        [c](char x){return x==c;}) != std::end(a);
}

不确定VC++是否会接受代码，但GCC和Clang会接受。

现场示例

相关文章：