Как вернуть до пяти типов из одной функции?

Question

[0xC0000005]

Есть функция drawObject, она должна вернуть один из пяти типов - пример такого типа: sf::RectangleShape, или например sf::CircleShape, у всех этих типов есть общий наследуемый класс: sf::Drawable, я пытался сделать возвращаемый тип функции sf::Drawable, но тогда возникала ошибка что невозможно вернуть абстрактный класс из функции. Пытался написать свой общий класс, но ошибка та же, нельзя вернуть абстрактный класс. Также пытался использовать std::variant e.g:

std::variant<sf::RectangleShape, sf::CircleShape, other classes...>

Но такой код крашил программу, других вариантов как сделать я не знаю. Примерная работа функции:

// какой тип?
??? function(int x) {
    if(x == 1) {
        return 1.0f; // float
    } else if(x == 2) {
        return 1; // int
    } else if(x == 3) {
        return 'a'; // char
    }
}

Что делать?

Comments

[mayton2019]

но тогда возникала ошибка что невозможно вернуть абстрактный класс из функции.

Это чепуха. Показывай оригинальный код и текст ошибки которую печатает компиллятор.

Твоя собственная интерпретация ситуации может сильно отличаться от реальной.

[Vindicar]

mayton2019, я подозреваю, что ОП пытался вернуть не указатель на экземпляр, а именно сам экземпляр. Т.е. sf::Drawable drawObject(...); вместо sf::Drawable* drawObject(...);. А это уже другое дело.

[mayton2019]

Этот пример мне кажется интересен тем что он близко стоит между ad-hoc полиморфизмом и параметрическим.
В классическом варианте ООП можно просто вернуть ссылку на базовый тип Drawable. А в функциональном - фактически собрать 5 вариантов функций.

[0xC0000005]

Я действительно использовал sf::Drawable а не sf::Drawable* (sf::Drawable* drawObject(), но ошибки все еще есть:

sf::RectangleShape rectangleShape(sf::Vector2f(object.objectWidth, object.objectHeight));

rectangleShape.setPosition(sf::Vector2f(object.objectX, object.objectY));

if(object.objectRotation.has_value()) {
    rectangleShape.setOrigin(object.objectWidth / 2.f, object.objectHeight / 2.f);

    rectangleShape.setRotation(object.objectRotation.value());
}

rectangleShape.setFillColor(object.objectColor);

window.draw(rectangleShape);

return rectangleShape;

Ошибка:

sfml.ld2d\objdrawer.h: In static member function 'static sf::Drawable* ObjectDrawer::drawObject(LevelObject&, sf::RenderWindow&)':
sfml.ld2d\objdrawer.h:36:24: error: cannot convert 'sf::RectangleShape' to 'sf::Drawable*' in return
   36 |                 return rectangleShape;

Конкретно RectangleShape наследуется от класса Shape, а Shape наследуется от Drawable, а другие классы например Sprite наследуются от Drawable.

[mayton2019]

0xC0000005, интересный ты человек. Ты пишешь все что угодно но самое главное - шапку функции ты не показываешь.
И что нам делать? Додумывать как ты код писал? Фантазировать?

[0xC0000005]

mayton2019,

static sf::Drawable* drawObject(LevelObject& object, sf::RenderWindow &window) {
    if(!object.hidden) {
        if(object.lobjecttype == LevelObjectType::RECTANGLE) {
            sf::RectangleShape rectangleShape(sf::Vector2f(object.objectWidth, object.objectHeight));

            rectangleShape.setPosition(sf::Vector2f(object.objectX, object.objectY));

            if(object.objectRotation.has_value()) {
                rectangleShape.setOrigin(object.objectWidth / 2.f, object.objectHeight / 2.f);

                rectangleShape.setRotation(object.objectRotation.value());
            }

            rectangleShape.setFillColor(object.objectColor);

            window.draw(rectangleShape);

            return rectangleShape;
        } // другие if else
}

[mayton2019]

0xC0000005, а по линии else что у тебя возвращается?

[0xC0000005]

mayton2019, линии else нету, дальше только else if, и у них почти такой же код

[mayton2019]

Это компилируется?

static sf::Drawable* drawObject(LevelObject& object, sf::RenderWindow &window) {
    return new sf::CircleShape();
}

[0xC0000005]

mayton2019, да

[mayton2019]

0xC0000005, ну вот и делай как я. Аллоцируй объекты через new. И не забывай удалять.

[0xC0000005]

mayton2019, теперь ошибок нету, но теперь я не могу использовать методы:

for(int bufferPosition=0; bufferPosition < objectsBuffer.getBufferSize(); ++bufferPosition) {
    sf::Drawable* object = ObjectDrawer::drawObject(objectsBuffer.getReferenceBuffer()[bufferPosition], window);

    std::cout << object
}

[mayton2019]

Ну операция амперсанд '&' - взятие адреса. Операция '*' - разыменование. Обратная операция.

Понял?

[0xC0000005]

mayton2019, c '&' тоже пробовал, нету методов:

static sf::Drawable& drawObject(LevelObject& object, sf::RenderWindow &window) {
    if(!object.hidden) {
        if(object.lobjecttype == LevelObjectType::RECTANGLE) {
            sf::RectangleShape rectangleShape(sf::Vector2f(object.objectWidth, object.objectHeight));

            rectangleShape.setPosition(sf::Vector2f(object.objectX, object.objectY));

            if(object.objectRotation.has_value()) {
                rectangleShape.setOrigin(object.objectWidth / 2.f, object.objectHeight / 2.f);

                rectangleShape.setRotation(object.objectRotation.value());
            }

            rectangleShape.setFillColor(object.objectColor);

            window.draw(rectangleShape);

            return &rectangleShape;
        }
}

sf::Drawable& object = ObjectDrawer::drawObject(objectsBuffer.getReferenceBuffer()[bufferPosition], window)

все еще нету методов

[Vindicar]

0xC0000005, так, во-первых, если ты обращаешься к методам через указатель на объект, это надо делать через оператор ->. И вот далее возникает вопрос. У тебя переменная описана как указатель на Drawable - значит, ты можешь вызывать ТОЛЬКО те методы, которые описаны в Drawable. Это будет своего рода "наибольший общий делитель" для всех твоих классов фигур. Какие методы у тебя описаны в Drawable?
У меня возникает ощущение, что ты хочешь, чтобы компилятор до выполнения программы угадал, какие данные она получит на вход, какие объекты программа из-за этого создаст и какие методы у них будут.

Наконец, возникает вопрос - ты вытащил код рисования в отдельный класс, но откуда ему знать про то, какие фигуры у тебя есть и как они должны выглядеть?

Answer 1

[Wataru]

Надо возвращать указатель на базлвый класс. Ну и, один из 5 экземпляров надо создавать через new.

Comments

[0xC0000005]

static sf::Drawable* drawObject(LevelObject& object, sf::RenderWindow &window) {
    if(!object.hidden) {
        if(object.lobjecttype == LevelObjectType::RECTANGLE) {
            sf::RectangleShape* rectangleShape = new sf::RectangleShape(sf::Vector2f(object.objectWidth, object.objectHeight));

            rectangleShape->setPosition(sf::Vector2f(object.objectX, object.objectY));

            if(object.objectRotation.has_value()) {
                rectangleShape->setOrigin(object.objectWidth / 2.f, object.objectHeight / 2.f);

                rectangleShape->setRotation(object.objectRotation.value());
            }

            rectangleShape->setFillColor(object.objectColor);

            window.draw(*rectangleShape);

            return rectangleShape;
        }
}

Ошибок больше нету, но есть проблема, так как RectangleShape наследуется от Shape, а Shape от Drawable, то все методы реализуются в Shape, а например Text наследуется сразу от Drawable, но все методы реализуются в Text. Как сделать чтобы можно было также использовать методы которые реализованы в классе, а не только Drawable?

[Wataru]

Вообще, можно в Drawable определить виртуальный GetType, который для Shape и Text будет возвращать разное, дальше можно в коде проверить этот тип, скастовать указатель к Shape или Text и вызвать уникальные методы (через dynamic_cast. Еще, можно в Drawable объявить виртуальные GetShape и GetText, которые будут возвращать указатель на объект, скастованный к нужному типу). Но это не очень хороший подход. Это значит, что у вас иерархия типов плохо продумана. Надо как можно больше виртуальных методов запихать в Drawable. Какие-то методы будут в наследниках не делать ничего, это нормально. По идее, когда вы ваш Text скастовали к предку Drawable вы должны к этому моменту уже не иметь нужды что-то особо уникальное для текста делать с классом. Вот создали вы Text, заполнили там, допустим, строку. Большее ее менять не придется, Drawable может ничего не знать про текст, но уже можно класс вернуть как Drawable.

[0xC0000005]

Wataru, Drawable и другие классы это классы SFML, и это не я их писал

[Wataru]

0xC0000005, Ну тогда непонятно, что за уникальные методы вы хотите вызывать у Drawable, которых там нет?

[mayton2019]

0xC0000005, дружище. Мне кажется тебе еще SFML рановато. У тебя - большая путаница в голове. Ссылка-указатель. new/delete. ООП. Ты - в этом плаваешь. Я не знаю кто тебя просил брать SFML но тебе надо окунуться в базу. Знаешь как в английском? Пока ты Elementary не усвоил со всякими irregular verbs - тебе рано идти в intermediate.

База у тебя - хромает. Начни снова с котов и собак с наследованием. Это мой совет.

[0xC0000005]

Wataru,
sfml-исходники:

class SFML_GRAPHICS_API Drawable
{
public:

    ////////////////////////////////////////////////////////////
    /// \brief Virtual destructor
    ///
    ////////////////////////////////////////////////////////////
    virtual ~Drawable() {}

protected:

    friend class RenderTarget;

    ////////////////////////////////////////////////////////////
    /// \brief Draw the object to a render target
    ///
    /// This is a pure virtual function that has to be implemented
    /// by the derived class to define how the drawable should be
    /// drawn.
    ///
    /// \param target Render target to draw to
    /// \param states Current render states
    ///
    ////////////////////////////////////////////////////////////
    virtual void draw(RenderTarget& target, RenderStates states) const = 0;
};

Shape:

class SFML_GRAPHICS_API Shape : public Drawable, public Transformable
{
public:
    virtual ~Shape();

    // нужно иметь доступ к этим методам ->
    void setTexture(const Texture* texture, bool resetRect = false);

    void setTextureRect(const IntRect& rect);

    void setFillColor(const Color& color);

    // и другие методы..

[0xC0000005]

mayton2019, я понимаю ооп и тд, мне бы питон, но вот глубокого понимания с++ нету

[Wataru]

0xC0000005, Ну вот эти методы вы вызываете у экземпляра Shape при создании. Надо ли вам после передачи их в SFML снова вызывать? По идее - нет. Когда преобразовали к Drawable, больше их не вызываете. Или создайте какой-то совой, класс, который будет наследником Drawable и от которого унаследуете все ваши 5 вещей. Вот в нем можно и GetType реализовать. У себя храните указатели на этот тип. Приводите к Drawable, Только когда передаете в SFML.

Answer 2

[Xiran]

Или так:

void drawObject(sf::Drawable &out) {
	out = /* Возвращаемое значение */;
}

void test() {
	sf::CircleShape circleShape { /* ... */ };
	
	drawObject(circleShape); // circleShape = drawObject();
	
	// ...
}

Однако ссылку/указатель на локальный (объявленный в функции) объект возвращать нельзя,
ибо стек функции (там хранятся такие объекты) будет очищен после вызова функции в соответствии
с конвенцией, которую использует функция (обычно __cdecl, в вызовах нестатических функций-членов - __thiscall).