c++ - 修改函数内的指针(将另一个指针作为参数传递)

Question

我在将指针传递给另一个指针调用的函数时遇到了问题。我正在尝试修改一个调用函数 min(即 p1->min())的指针(即 p1)，该函数将指针作为参数(即 p1->min(*p2))。注意:*p2 根本没有修改，只是传递了它的值，p1 将根据 p2 的值进行修改。

注意:我删除了不相关的代码(仅在函数内部，其他一切保持原样)以使其更易于阅读。

测试.h

// Don't worry about the create method, just assume it works
// I'm having issues with the "min" function, more details below

class Test {
    protected:
        std::vector<std::vector<std::string> > vec;
    public:
        static Test *create(std::string file); // instantiates vec
        void *min(Test *); // modifies vec 
};

测试.cc

// Don't worry about create (factory method), just assume it works
// "min" is causing compiler errors (see below)

Test *Test::create(string file) { /* instantiates vec with file contents */ }
void *Test::min(const Test *&p) { /* modifies vec */ }

主.cc

// Main cannot change, this is how it must be implemented
// However, Test.cc and Test.h CAN be modified.

Test *p1 = Test::create("file1");
Test *p2 = Test::create("file2");
p1->min(*p2); // modify p1 based on values of p2, p2 is NOT modified

编译器错误:

fatal error: control reaches end of non-void function

奇怪的是它声明为 void 但期望有一个返回值 所以，当我返回一些东西时它显示另一个编译器错误

fatal error: no viable conversion from return value of type 'Test' to function return type 'void *'

我对编译错误感到很困惑。我认为这与我的声明有关。注意:没有构造函数，因为基类必须使用工厂方法，而派生类使用它们自己的构造函数，因此 *Test::create 和 *Test::min。

请帮忙。

Answer 1

What is weird is that its declared void

不，不是。

   Test *Test::create(string file) { /* instantiates vec with file contents */ }
// ^^^^^^ return type is Test*

   void *Test::min(const Test *&p) { /* modifies vec */ }
// ^^^^^^ return type is void*

不幸的是您使用了右对齐的星号和符号，因为它直接导致了您的混淆。看起来你忘记了 * 在那里，或者认为它是函数声明本身语法的一部分(比如，在你的问题中，你如何将函数称为 ” *Test::create 和 *Test::min“”。

如果您开始将它们左对齐(这不会影响程序的语义，它只是样式)，您的意图和类型的含义就会很清楚:

Test* Test::create(string file) { /* instantiates vec with file contents */ }
void* Test::min(const Test*& p) { /* modifies vec */ }

现在您一眼就可以很容易地看出您的返回类型不是您认为的那样，并且可以更正 Test::min 的声明(可能还有 Test::创建).

有些人会开始讨论内部语法如何将 * 绑定(bind)到名称而不是类型，或者左对齐方法如何使它稍微更尴尬正确理解真正重要且经常使用的结构，即多变量声明。忽略它们!

更广泛地说，这里有很多指示，我建议尽量减少它。只会招来不必要的麻烦。 爱对象。