clang++：无法分配抽象类型的对象

Question

我有“无法分配抽象类型的对象”错误。

当我创建一个对象Be（继承自抽象类Ae）并将它传递给采用const Ae& 的方法时，我得到了它。我认为作为参考传递时应该不是问题。错误说：error: allocating an object of abstract class type Be。

程序的逻辑如下：

//A.hpp
struct A : public std::exception { //Exception class
    class Ae { //Error message class
        virtual const char* message() const = 0;
        inline operator const char*() const {
            return message();
        }
    };
    // fields describing where the error occurred in file input
    int a, b, c, d;
    // string reporting what happened
    const char* msg;
    A( const Ae& e, int a, int b, int c, int d ) : a(a), b(b), c(c), d(d), msg(e)
    {}
    const char* what() const throw() { /* printing some nice report */ }
    ~A() throw () {}
};

//B.hpp 
struct B : public A {
    B( const Ae& e, int a, int b, int c, int d ) : A( e,a,b,c,d )
    {}
    struct Be : public Ae { //particular error having relevant class name e.g. IncorrectInput
        const char* message() const {
            return "Some error description";
        }
    }; // more of alikes
};

//AUser.hpp
struct AUser { // some module that will be throwing A
    int a, b, c, d;
    A Exception( const Ae& e ) {
        return A( e, a, b, c, d );
    }
};

//BUser.hpp
struct BUser : public AUser {
    void fun() { // any method
        // (...) does sth
        if ( goeswrong )
            throw Exception( B::Be() );
    }
};

我的代码有什么问题？

为了阐明此类结构的目标 - AUser 是 CsvFile，BUser 是 ParticularCsvFile（使用方法识别哪个字段包含哪种数据类型），A 是 CsvFileExceotion，B 是 ParticularFileException，Ae 是 ErrorCode，Be 是例如 ErrorWhenReadingPricesCell

包含throw Exception( B::Be() ); 的行弹出错误，另外声明note: unimplemented pure virtual method 'message' in 'Be' public: virtual const char* message() const = 0;

编辑

根据要求，exact g++ -Wall -pedantic -Wextra 如下所示。 请注意，我简化了上面的代码并更改了名称： BUser == DividendsFile, B == DividendsFileReadingException, Be == UnexpectedStockDividend, AUser == CsvFile, A == CsvFileReadingException, Be == ErrorCode

quotreader2.cpp:18:5: warning: unused parameter ‘argc’ [-Wunused-parameter]
Input/DividendsFile.cpp: In member function ‘int DividendsFile::getStockDividend()’:
Input/DividendsFile.cpp:28:85: error: cannot allocate an object of abstract type ‘DividendsFileReadingException::UnexpectedStockDividend’
In file included from Input/DividendsFile.cpp:3:0:
Input/Exceptions/DividendsFileReadingException.hpp:28:12: note:   because the following virtual functions are pure within ‘DividendsFileReadingException::UnexpectedStockDividend’:
In file included from Input/CsvFile.hpp:4:0,
                 from Input/DividendsFile.hpp:4,
                 from Input/DividendsFile.cpp:2:
Input/Exceptions/CsvFileReadingException.hpp:17:37: note:   virtual const char* CsvFileReadingException::ErrorCode::message() const
make: *** [bin/test.bin] Error 1

Answer 1

修复了几个拼写错误的语法错误，例如从

class Ae

到

struct Ae

,

来自

struct Be

到

struct Be : public Ae

，

来自

A Exception( const Ae& e )

到

A Exception( const A::Ae& e )

代码在 clang 中完美编译，所以我不明白你的问题。您是否至少尝试编译您在此问题中发布的代码？

Answer 2

哦，这很明显！

由于某种原因异常是一个返回A的函数

这里：

A Exception( const Ae& e ) {
    return A( e, a, b, c, d );
}

AAAAnnnnd

struct A : public std::exception { //Exception class
    class Ae { //Error message class
        virtual const char* message() const = 0;

我们这里有一个虚方法。

然后

            throw Exception( B::Be() );

意思是“抛出一个产生异常函数调用的A”

但你不能扔 A！因为A是抽象的

另外

异常需要 Ae，但你给它一个 Be，两者之间没有转换。

编译器实际上在这里发现了 4 个错误，这就是报告如此无用的原因（我将向 GCC 邮件列表提出为什么它如此无用的问题）

Be 不继承任何东西

struct Be { //particular error having relevant class name e.g. IncorrectInput
    const char* message() const {
        return "Some error description";
    }
}; // more of alikes

见

Answer 3

看来您实际上并没有在类 B 中实现类 A 中声明的某些抽象方法。如果存在未实现的抽象方法，则类本身 (B) 仍然是抽象的。尝试创建抽象类的新实例是一个编译错误（因为如果编译器调用了那个未实现的方法，它不知道该怎么做）。检查A中声明的所有抽象方法是否都在B中实现，你应该没问题...

进一步纠正你的错误：

struct Be { //particular error having relevant class name e.g. IncorrectInput
        const char* message() const {
            return "Some error description";
        }
    }; 

class Ae 已经声明 message() 是虚拟的... Class B 没有实现这个虚拟方法，struct Be 是。 struct Be 是 B 的一部分，它本身并不扩展 Ae。因此，该方法未作为 B 的一部分实现...不知道为什么会被否决...