Question

在Setting a variable in a child class中，我试图找出如何在多态类中正确派生变量。在一些帮助之后，我发现我需要在指针上使用dynamic_cast来正确访问我需要的信息。我遇到了一些麻烦。

这是我目前正在处理的功能。

void translateLines(Parser parser, Code code)
{
    while(parser.hasMoreCommands())
    {
        vector<Command>::const_iterator it = parser.currentCommand();
        if(it->commandType() == "A")
        {
            //SubType* item = dynamic_cast<SubType*>(*the_iterator);
            A_COMMAND* a_command = dynamic_cast<A_COMMAND*>(*it); //line that is throwing the error
            //string symbol = a_command->get_symbol();
            //cout << "symbol: " << symbol << endl;
            //perform binary conversion
        }
        /*else if(command.commandType() == "C")
        {
            string dest = command.get_dest();
        }*/
         //shouldn't be any L commands in symbol-less version
        else
        {
            std::cout << "unexpected command value \n";
        }
        parser.advance();
    }

}

这是我的Parser.h，它包含有关向量迭代器的相关信息。

#include "Command.h"
#include <vector>


class Parser {
private:
    std::vector<Command> commands;
    std::vector<Command>::const_iterator command_it = commands.begin();
public:
    Parser(std::vector<std::string>);
    bool hasMoreCommands() //are there more commands in the input?
    {
        if(command_it != commands.end())
            return true;
        else
            return false;
    }
    void advance(){std::next(command_it);} //move to next command, should only work if hasMoreCommands returns false}
    std::vector<Command>::const_iterator currentCommand(){return command_it;}
    std::vector<std::string> translateCommands(); //convert commands into binary strings

};

以下是我收到的错误：

g++ -O0 -g3 -Wall -c -fmessage-length=0 -std=c++11 -o Assembler.o "..\\Assembler.cpp" 
..\Assembler.cpp: In function 'void translateLines(Parser, Code)':
..\Assembler.cpp:32:55: error: cannot dynamic_cast 'it.__gnu_cxx::__normal_iterator<_Iterator, _Container>::operator*<Command*, std::vector<Command> >()' (of type 'class Command') to type 'class A_COMMAND*' (source is not a pointer)
    A_COMMAND* a_command = dynamic_cast<A_COMMAND*>(*it);
                                                       ^

有任何疑问，这里有什么问题？

编辑：所以我现在看到我不能使用命令向量，而是需要指向命令的指针。我已经更改了Parser.h来处理vector<Command*>而不是vector<Command>。对于输入我试过这样的事情：

A_COMMAND command();
commands.push_back(&command);

但这对我来说并不适合，因为向量需要指针而不是引用。创建指向内存的指针并将其推入向量的最简单方法是什么？

Answer 1

您有vector个Command。您无法将Command投射到A_COMMAND*。请注意，vector<Command>不能包含A_COMMAND，这一点非常重要。如果要在C ++中执行运行时多态性，则必须使用指针或引用。在这种情况下，您的Parser::commands需要是std::vector<Command*>（或某种类型的智能指针，如std::vector<std::shared_ptr<Command>>）。

以此代码为例：

std::vector<Command> commands;
A_COMMAND a_command;
commands.push_back(a_command);

commands不包含A_COMMAND个对象。它包含Command对象，该对象是a_command的副本。它或多或少等同于：

std::vector<Command> commands;
A_COMMAND a_command;
Command temp(a_command);
commands.push_back(temp);

请记住，在C ++中，变量是一个对象，而不是像某些其他语言（例如Java或C＃）那样对对象的引用。对象永远不会改变类型，但是你可以有一个类型的引用或指针指向派生类型的对象：

std::vector<Command*> commands;
A_COMMAND a_command;
commands.push_back(&a_command);

在这种情况下，commands[0]是Command*，但它指向A_COMMAND个对象。

重新编辑：
您正在添加指针。 &some_variable返回一个指向some_variable的指针，但你绝对不应该做过这样的事情。一旦command超出范围，它将被销毁，对它的任何访问都将导致未定义的行为。您需要使用new的动态内存分配。最好使用像std::shared_ptr<Command>这样的智能指针类来保存动态分配的对象，这样您就不必担心以后会delete使用它们。

如果您使用原始指针，那么类似的东西将起作用：

A_COMMAND* command = new A_COMMAND;
commands.push_back(command);

如果你采用这种方法，那么当你完成这些命令时，你需要delete所有命令（可能是Parser的析构函数）：

for(Command* command : commands) {
    delete command;
}

尽管使用std::shared_ptr会更好。将commands声明为std::vector<std::shared_ptr<Command>> commands;，然后：

std::shared_ptr<A_COMMAND> command = std::make_shared<A_COMMAND>();
commands.push_back(command);

然后，当对象的最后delete超出范围时，您的对象将全部自动shared_ptr。如果你使用智能指针，你需要稍微改变它们。查看std::dynamic_pointer_cast。

Answer 2

真正的问题是为什么要使用dynamic_cast。这是虚拟方法的工作。如果派生了另一个类，那么你的dynamic_cast也需要更新，使用虚方法你不需要关心派生类是什么，只是它覆盖虚方法，可以通过使用接口类来强制base（纯虚方法，无状态）。这听起来像是战略模式的应用。 https://en.wikipedia.org/wiki/Strategy_pattern

Answer 3

尝试（它）而不是（*它）迭代器应该是指向对象的指针，因此你需要省略*，因为这会导致实际数据不是引用

正确执行动态转换

3 个答案: