通用成员函数定义，可从两个“const”实例化

Question

有没有一种方法可以定义一个既可以从“const”访问又可以从“const”访问的成员函数

我需要这个来实现list类的sList。在其中，我想声明一个函数，它将另一个函数作为参数，该函数的指针为“const”或“non-const”，指向当前的sList结构中的每个列表，并将其调用。

声明如下：

template <typename T>
struct sList
{
    sList(initializer_list<T>);

    inline void DoForEachList(auto pFunc)
    {
        for(auto p = this; p; p = p->pNext)
            pFunc(p);
    }

    ~sList();

    T dat;

    sList *pNext = nullptr;
};

我使用autopFunc，因为我也想最终传递lambda。所以现在如果我有一个这种类型的const对象并从中调用'DoForEachList'作为参数lambda函数传递，类型'auto'中有1个arg。我的编译器会失败，如下所示：

错误：传递const sList

以及调用DoForEachList的代码：

void main()
{
    extern const sList<unsigned char> cvobj;
    cvobj.DoForEachList([] (auto pCurr) {/* Do something */});
}

是否有某种方法可以这样定义DoForEachList成员函数（或成员函数的模板）：

template <typename T>
struct sList
{
    inline void DoForEachList(auto pFunc) auto //either 'const' or none
    {
        for(auto p = this; p; p = pNext->pNext)
            pFunc(p);
    }

    //...
};




Answer 1

您应该只使用const成员函数，并使成员变量可变，这会告诉编译器/您成员不会影响类的“已更改”行为。如果不是这样，请重新考虑您的设计，因为这并不完全正确<代码>可变（code>mutable）更为正确，例如，需要修改地图的键，使其不影响该地图中的顺序，但即使这样。。。

代码示例：

struct Bla
{
    void increment() const { i++; }
private:
    mutable int i = 0;
};

int main()
{
    const Bla bla;
    bla.increment();
}

现场演示。

Answer 2

匿名用户

根据@dyp在评论中的回答：

如果要重载此的常量，确实需要两个单独的函数。但是，您可以通过将工作卸载到助手函数来最小化重复。

@dyp建议使用朋友函数模板，但朋友函数没有权限改造，所以我通常更喜欢静态成员函数；然后您可以将其设为私有或受保护：

template <typename T>
struct sList
{
    void DoForEachList(auto pFunc)
    {
        DoForEachListHelper(*this, pFunc);
    }
    void DoForEachList(auto pFunc) const
    {
        DoForEachListHelper(*this, pFunc);
    }
private:
    static void DoForEachListHelper(auto&& self, auto pFunc)
    {
        for(auto p = &self; p; p = pNext->pNext)
            pFunc(p);
    }
};