Почему возникает ошибка?

Question

[Nightmare A]

Machinarium/Classes/Geometry/Primitives/Rectangle.hpp: In instantiation of ‘class Rectangle<unsigned int>’:
Machinarium/Classes/Geometry/Primitives/Rectangle.cpp:33:1:   required from here
Machinarium/Classes/Geometry/Primitives/Rectangle.hpp:16:46: error: invalid abstract return type ‘Axis<unsigned int>’
   16 |   ParameterGetSetTypedClassVariable(Axis<T>, axis);
      |                                              ^~~~

#pragma once 

#ifndef __RECTANGLE__HPP_
#define __RECTANGLE__HPP_

#include "Point.hpp"
#include "Axis.hpp"

/**
 * @brief Класс двумерной ограниченной плоскости.
 * 
 * @tparam T 
 */
template<typename T> class Rectangle : public Point2D<T>
{
  ParameterGetSetTypedClassVariable(Axis<T>, axis);
  ParameterGetSetTyped(T, w, 0);
  ParameterGetSetTyped(T, h, 0);

#define ParameterGetSetTypedClassVariable(var_type, name)           \
private:                                                            \
    var_type __ ## name;                                            \
public:                                                             \
    inline var_type name (var_type value) {                         \
        set_ ## name(value);                                        \
        return value;}                                              \
    inline const var_type & get_ ## name () const {return this->__ ## name;} \
    inline void set_ ## name (var_type value) {__ ## name = value;}

template<typename T> class Axis : public IShape<T>
{
  ParameterGetSetTypedClassVariable(Point2D<T>, position);
  ParameterGetSetTyped(T, rotation, 0);

  public:
    Axis(T rotation, Point2D<T> position);

    inline virtual std::string getShapeName();
    virtual void draw()  const;
    virtual inline T perimeter();
    virtual inline T area();
};

Answer 1

[jcmvbkbc]

invalid abstract return type ‘Axis<unsigned int>’
Почему возникает ошибка?

Потому что Axis<unsigned int> -- абстрактный тип, а ты пытаешься вернуть объект такого типа.
Скажи, что конкретно в сообщении об ошибке непонятно?
Что с этим делать?
- если тип не должен быть абстрактным -- смотреть в его иерархию наследования, искать недоопределённые чистые виртуальные функции и определять их или выкидывать.
- если тип должен быть абстрактным -- пересмотреть свои взгляды на жизнь и начать возвращать либо ссылки, либо указатели на объекты абстрактного типа.

Comments

[Nightmare A]

Каким образом он может быть абстрактным типом?

#pragma once
#ifndef __AXIS__HPP_
#define __AXIS__HPP_

#include "../../../Interfaces/IShape.h"

#include "Point.hpp"

/**
 * @brief Класс описывающий точку вращения объекта.
 * 
 * @tparam T 
 */
template<typename T> class Axis : public IShape<T>
{
  ParameterGetSetTypedClassVariable(Point2D<T>, position);
  ParameterGetSetTyped(T, rotation, 0);

  public:
    Axis(T rotation, Point2D<T> position);

    inline virtual std::string getShapeName();
    virtual void draw()  const;
    virtual inline T perimeter();
    virtual inline T area();
};



#endif // __AXIS__HPP_

#include "Axis.hpp"


template<typename T> Axis<T>::Axis(T rotation, Point2D<T> position)
  : __rotation(rotation)
{
  __position.set_x(position.get_x());
  __position.set_y(position.get_y());
}


template<typename T> std::string Axis<T>::getShapeName()
{
  return "axis";
}

template<typename T> void Axis<T>::draw() const
{
  get_position().draw();
}


template<typename T> T Axis<T>::perimeter() {return 0;}
template<typename T> T Axis<T>::area() {return 0;}


TemplateClassNumericTypes(Axis);

[jcmvbkbc]

Каким образом он может быть абстрактным типом?

Вадим Ушаков, то, что ты приводишь исходный текст класса Axis, но не приводишь исходный текст класса IShape говорит о том, что ты, похоже, не понимаешь, что такое абстрактный тип.

Axis мог унаследовать чистые виртуальные функции из IShape.

[Nightmare A]

jcmvbkbc, Реализация в cpp файле, но Adamos пролил свет, странно что нельзя разделить реализацию по файлам.

[jcmvbkbc]

странно что нельзя разделить реализацию по файлам.

Вадим Ушаков, во-первых разделить можно. Во-вторых дело не в этом. Если бы дело было в этом, ошибка бы выглядела по-другому.

[jcmvbkbc]

пролил свет

Вадим Ушаков, чтобы можно было "пролить свет" нужен исходный код IShape.

[Nightmare A]

jcmvbkbc,

#pragma once
#ifndef _ISHAPE_H_
#define _ISHAPE_H_

#include "IDrawable.h"
#include "IStringable.h"

/**
 * @brief Класс прототип фигуры.
 * 
 */
template<typename T> class IShape : public IDrawable, public IStringable
{
    public:
        /**
         * @brief Возвращает площадь фигуры.
         * 
         * @return T 
         */
        virtual T area() = 0;

        /**
         * @brief Возвращает периметр фигуры.
         * 
         * @return T 
         */
        virtual T perimeter() = 0;

        /**
         * @brief Возвращает тоже что и perimeter.
         * 
         * @return T 
         */
        virtual inline T circumfence() { return perimeter(); }

        /**
         * @brief Get the Shape Name object
         * Получить название формы.
         * 
         * @return std::string 
         */
        virtual inline std::string getShapeName() = 0;
};

#endif //_ISHAPE_H_

[jcmvbkbc]

Вадим Ушаков, …и всех его предков, рекурсивно: IDrawable, IStringable…

[Nightmare A]

jcmvbkbc,

#ifndef __IDRAWABLE_H__
#define __IDRAWABLE_H__

#include "../Classes/BaseGUISegmentClass.hpp"

#include <ctime>

/**
 * @brief Интерфейс к объекту отображения.
 * 
 */
class IDrawable
{

    ParameterGetSetTyped(float, rendertime, .0);
    ParameterGetSetTyped(bool, visible, true);

    public:
        /**
         * @brief Функция тображает объект.
         * 
         */
        virtual void draw() const = 0;

        /**
         * @brief Функция обёртка для отображения объекта, рассчитыват времы отображения.
         * 
         */
        inline bool make_draw() {
            if (!can_draw()) return false;
            auto start = std::time(0); this->draw();
            set_rendertime(std::time(0) - start);
            return true;
        }

        virtual inline bool can_draw() const
        {
            if (get_visible() == true) return true;

            return false;
        }
};


#endif // __IDRAWABLE_H__

#pragma once
#ifndef __ISTRINGABLE_H__
#define  __ISTRINGABLE_H__

#include <string>
#include <sstream>

/**
 * @brief Интерфейс объекта который можно преобразовать в строку.
 * 
 */
class IStringable {

    public:
        /**
         * @brief Получить строкое представление объекта.
         * 
         * @return std::string 
         */
        virtual std::string toString() const = 0;


        /**
         * @brief Перегрузка оператора << для вывода в std::cout <<.
         * 
         * @param os 
         * @param dt 
         * @return std::ostream& 
         */
        friend std::ostream& operator<<(std::ostream& os, const IStringable& obj)
        {
            os << obj.toString();
            return os;
        }
};

#endif // __ISTRINGABLE_H__

[jcmvbkbc]

Кстати, чтобы сильно не напрягаться, g++ добавляет note следующего содержания после ошибки invalid abstract return type:

because the following virtual functions are pure within …

Т.е. в полном сообщении об ошибке написано, откуда пришла чистая виртуальная функция.

[jcmvbkbc]

virtual std::string toString() const = 0;
Ну вот мы и нашли его?
Класс Axis должен реализовать virtual std::string toString() const; унаследованный из IStringable чтобы перестать быть абстрактным.