Question

template <typename T, typename Predicate, typename Operation>
void Foo(T& entity, Predicate pred, Operation op)
{
    if (pred(entity))
    {
        op(entity);
    }

    // and blah
}
template <typename T, typename Predicate, typename Operation>
void Foo(const T& entity, Predicate pred, Operation op)
{
    if (pred(entity))
    {
        op(entity);
    }

    // and blah
}

P.S。

T& entity + pred(const T& entity) + op(const T& entity)是可以接受的。

const T& entity + pred(T& entity) + op(T& entity)会引发编译错误。

使用C ++ 11的解决方案还可以。

这里的例子：

class MyEntity
{
public:
    MyEntity(int e):e(e){}
    int e;
};

MyEntity a = 1234;
MyEntity& ra = a;
const MyEntity& cra = a;
auto pred = [](const MyEntity& i)
{
    return true;
};
auto cop = [](const MyEntity& i)
{
    cout<<i.e<<endl;
};
auto op = [](MyEntity& i)
{
    ++i.e;
    cout<<i.e<<endl;
};
Foo(ra, pred, op);   // ok
Foo(ra, pred, cop);  // ok
Foo(cra, pred, cop); // ok
Foo(cra, pred, op);  // error

Answer 1

您可以使用转发引用（又名"universal reference"）：

template <typename T, typename Predicate, typename Operation>
void Foo(T&& entity, Predicate pred, Operation op)
{
    if (pred(entity))
    {
        op(std::forward<T>(entity));
    }

    // and blah
}

Answer 2

您可以只使用非const Foo，并将const验证保留给特定的pred和op。

如果pred或op要求非const entity，entity为const（如示例代码中的第4次调用）），编译器会抛出错误。

如何实现＆＃34; const＆＃34;和＆＃34;非常数＆＃34;重载没有重复的代码？

2 个答案: