如何处理可选参数的模板类型名？

Question

首先，代码：

template<typename Func, typename Func2>
void ForEachField(Func normalHandler, Func2 arrayHandler = NULL, bool skipUnknowns = true)
{
    for(int i = 0; i < mFields.size(); ++i)
    {
        Field *f = mFields[i];

        if(skipUnknowns && f->IsUnknown())
            continue;

        if(f->GetCount() == 1 || !arrayHandler)
            normalHandler(f);
        else
            arrayHandler(f);
    }
}

以及用法示例：

df->ForEachField(
    [&](Field *field) { f << "\t" << format("public $%s;\n") % field->GetName(); },
    [&](Field *field) { f << "\t" << format("public $%s;\n") % field->GetName() % field->GetSize(); }
); // Works

df->ForEachField(
    [&](Field *field) { WriteLine(f, format("\t\t'%s' => array('type' => '%s'),") % field->GetName() % field->GetTypeInfo()->Name);
}); // Doesn't work

第二个调用不起作用，因为它说：

OutputPhp.cpp(27): 错误 C2783: 'void DataFile::ForEachField(Func,Func2,bool)' : 无法推断出模板参数 对于“功能2” 请参阅“DataFile::ForEachField”的声明

有什么方法可以使第二个参数可选，同时仍然使用模板，并且不必手动指定第二个模板参数？

Answer 1

您可以为 ForEachField 添加重载：

template<typename Func>
void ForEachField (Func normalHandler)
{
    ForEachField<Func, void *>(normalHandler, NULL, true);
}

Answer 2

我知道代码重复通常被认为是“坏”的，但是在这种情况下，我可能不会使用运行时检查来检测我是否传递了参数...只要可以在编译时完成检查...

template<typename Func, typename Func2>
void ForEachField(Func normalHandler, Func2 arrayHandler, bool skipUnknowns = true)
{
    for(int i = 0; i < mFields.size(); ++i)
    {
        Field *f = mFields[i];

        if(skipUnknowns && f->IsUnknown()) { continue; }

        if(f->GetCount() == 1) { normalHandler(f); }
        else { arrayHandler(f); }
    }
}


template<typename Func>
void ForEachField(Func normalHandler, bool skipUnknowns = true)
{
    for(int i = 0; i < mFields.size(); ++i)
    {
        Field *f = mFields[i];

        if(skipUnknowns && f->IsUnknown()) { continue; }

        if(f->GetCount() == 1) { normalHandler(f); }
    }
}

记住您可以像往常一样完美地重载函数模板。

这将依次解决两个问题：

• 第二个参数现在是可选的（出于所有意图和目的）
• 不再在 lambda 上应用 operator! （这不起作用）

Answer 3

由于您已经使用了 C++0x 功能（lambda），因此只需使用另一个功能：默认模板参数

template<typename Func, typename Func2 = void*>
void ForEachField(Func normalHandler, Func2 arrayHandler = NULL, bool skipUnknowns = true)

Answer 4

如何将第二个参数设置为非默认参数，并创建一个采用单个 typename Func 参数的重载包装方法。