偶然发现这个时,我试图解决的原始问题是选择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
必须是类型名。