看似模棱两可的模板函数重载

Seemingly ambiguous template function overloads

本文关键字：函数 重载 模棱两可      更新时间：2023-10-16

偶然发现这个时，我试图解决的原始问题是选择parse_impl版本：

  • 如果解析器（类型 U ）提供了一个名为 "skp" 的字段，则使用该字段;
  • 如果没有，请使用默认值。

我想出了以下代码：

// This variant compiles for parsers requiring a skipper:
template <typename I, typename U, typename A,
          typename = typename std::enable_if<
              not std::is_same<
                  typename std::remove_reference<U>::type::skipper_type,
                  qi::unused_type
              >::value
          >::type,
          typename = void > // avoid redefinition (1 more overload not shown)
bool parse_impl(I & start, I end, U && parser, A & attr)
{
    // qi::space by default:
    return qi::phrase_parse(start, end, parser, qi::space, attr);
}
// This variant compiles for parsers providing skipper via 'skp' member:
template <typename I, typename U, typename A,
          typename = typename std::enable_if<
              not std::is_same<
                  typename std::remove_reference<U>::type::skipper_type,
                  qi::unused_type
              >::value
              && (sizeof(U::skp) != 0)
          >::type,
          typename = void, typename = void > // avoid redefinition
bool parse_impl(I & start, I end, U && parser, A & attr)
{
    // parser.skp is available:
    return qi::phrase_parse(start, end, parser, parser.skp, attr);
}

呼叫站点如下所示：

pr.is_ok = parse_impl(pr.position, input.cend(), parser, pr.attr);

对于具有skp和没有的类型，这都是所谓的。

它编译（在 gcc4.7 上），但我不明白为什么：当skp存在时，两个enable_if中的表达式都应该计算为 true（skipper_type显然不等于 unused_type 然后），并且调用应该是模棱两可的。我哪里弄错了？

这里的问题是，正如注释中的结论，当只使用 U::skp 时，可能是U被推导为引用类型（即，在传递 lvalue 解析器时）。发生这种情况时，你会得到 SFINAE，因为引用类型显然没有嵌套任何东西。

解决方法是从U中删除引用std::remove_reference以便您(sizeof(std::remove_reference<T>::type::skp) != 0) .请注意，此处不需要typename，因为::skp表示type必须是类型名。

相关文章：