Question

让它成为需要这种行为的模板：

template<typename MyActionLambda>
void enumerateChildrenByTag(QDomNodeList& list, const QString& tag, MyActionLambda action )
{
    for(int i = 0; i < list.size(); i++) {
        QDomElement el = list.item(i).firstChildElement(tag);
        while(!el.isNull())
        {
            if( typeid(decltype(action(el))) == typeid(SomeType) )
            {
                    auto res = action(el)
                    // do something with res
            }
            else
                    // do something with action(el)

            el = el.nextSiblingElement(tag);
        }
    }
}

这显然是不可能的，因为它为lambda编写了void返回类型，因为if（）的两个分支都应该是合法的。有没有更简单的方法来解决这个问题，除了将declspec作为模板参数的默认值并专门化两个模板？

Answer 1

使用C ++ 17，你可以编写

if constexpr( std::is_same<decltype(action(el)),SomeType>::value )
    auto res = action(el);
else
{ /* do something else */ }

但我认为这种构造使用模板化函数更易读，你可以专注于SomeType：

template<class X>
void someFunction(const X& x) { /* standard case */ }
template<>
void someFunction(const SomeType& x) { /* SomeType case */ }

在你的循环内你只需要打电话：

for(QDomElement el = list.item(i).firstChildElement(tag);
                !el.isNull(); el = el.nextSiblingElement(tag))
    someFunction(action(el));

由lambda函数的返回值定义的Tempate

1 个答案: