c++ - 模板化(或以某种方式自动)方法的返回值

Question

编辑:要清楚——马上——这是一个关于现代 C++ 编译器的语言能力的问题。不是关于特定目标的问题。如果不首先澄清这一点，就很难描述这样一个抽象的概念，而且我已经意识到，一些混淆围绕着通常做的事情而不是可能做的事情。这是一个很抽象的问题。这里什么都不会编译，这是故意的。同样，我不是在问如何使这个特定的案例起作用，而是在问是否有办法让 C++ 识别我想做什么(通过模板或某种 auto->decltype 技巧很可能是甚至可能)。

我不是 C++ 的新手，但肯定不是专家。自从我重新发现语言的力量以来，这是我一直在努力解决的一个基本问题。这里的最终目标是根据调用上下文优雅地(并使用尽可能少的代码)转发适当的多态返回值。例如……

class A {
    public:
        A& foo() {
            // do something mutant fooish
            return *this;
        };
};

class B: public A {
    public:
        B& bar() {
            // do something mutant barish
            return *this;
        };
};

int main(int argc, char** argv) {
    B yarp;
    yarp.foo().bar();
};

编译错误。有道理，C++ 旨在假设您对自己正在做的事情一无所知(这使得它具有高度可优化性，但有时会很痛苦……一种高级中级 OOP 语言)。

显然，C++ 编译器已经到了这样的地步，他们不仅知道您要的是什么(A().foo() 工作和 B().foo() 工作场景)，而且还知道在什么情况下在上下文中请求它(因此 auto yarp = B() 在 C++11 中，编译器知道 yarp 是 B 的一个实例)。有没有一种方法可以优雅地利用它，而不必重现一堆“使用”语句或包装方法(奇怪的是，根据 gcc 二进制文件的反汇编，这些方法没有得到优化)？

那么这里有什么技巧吗？我根本没有在网上学到的东西。 auto -> decltype 技巧还是模板技巧？示例:

class A {
    public:
        template <typename R>
        R& foo() {
            // do something fooish
            return (R&)*this;
        };
};

class B: public A {
    public:
        using A::foo<A>; // << even this would be better than nothing (but no where near  optimum)
        B& bar() {
            // do something barish
            return *this;
        };
};

还有更简单的吗？如果将这个概念扩展到用于引用计数和 gc 释放的代理模板类的运算符，那么问题就变得很明显了。预先感谢您提供的任何帮助(哦，还有第一篇关于 stackoverflow 的帖子，所以如果我有任何格式错误或者您有关于更好的结构化帖子的建议，请道歉并指出)。

Answer 1

显而易见的解决方案是将其分成两行:

yarp.foo();
yarp.bar();

或者，或者，使用 static_cast 取回对 B& 的引用，所以

static_cast<B&>(yarp.foo()).bar();

同意，这有点冗长，但是像这样在一行中将层次结构中的多个成员函数调用链接在一起对于 C++ 来说是非常不寻常的语法。它只是不常出现，所以该语言不能很好地支持该习语。我从来没有遇到过遇到这个问题的情况。

如果您想设计一些可链接的功能，您可以使用其他更好的习惯用法。一个例子是 Boost 的 Range Adapters 重载了 operator|实现链接。

编辑:另一种选择是在 B& 中重载 foo():

class B: public A {
    public:
        B& foo() { A::foo(); return *this; }

        B& bar() {
            // do something mutant barish
            return *this;
        };
};