3

我在我的一个项目中遇到了一个奇怪的问题。我的代码库依赖于一个外部库，其中包含一个名为Dataset. 该类Dataset私有继承自std::vector<Sample>（Sample库中定义的另一个自定义类在哪里）。

此外，这样的类公开了一个Save成员函数，以便将组成数据集的数据序列化为文本文件。Save成员函数定义如下：

inline void Dataset::Save(string filename, ModalityType modality)
{
    ofstream log_file;
    if (modality == OVERWRITE) {
        log_file.open(filename.c_str());
    } else {
        log_file.open(filename.c_str(), ios::out | ios::app);
    }
    if (log_file.is_open()) {
        log_file << *(this);
    }
    log_file.close();
}

ofstream& operator<< (ofstream& out, Dataset& ds)
{
    unsigned int size = ds.size();
    unsigned int input_size = ds.GetInputSize();
    unsigned int output_size = ds.GetOutputSize();
    out << input_size << " " << output_size << endl;
    for (unsigned int i = 0; i < size; i++) {
        Sample* s = ds[i];
        for (unsigned int j = 0; j < input_size; j++) {
            out << s->GetInput(j) << " ";
        }
        for (unsigned int j = 0; j < output_size; j++) {
            out << s->GetOutput(j) << " ";
        }
        out << endl;
    }

    return out;
}

我的代码和外部库都已在 OS X 10.8.2 下使用 clang 4.2 和 flags 编译-std=c++11 -stdlib=libc++。我需要这样做，因为我的代码库使用了几个 C++11 工具（例如，random）。此外，库本身依赖于 boost，而 boost 又是用 clang 和 C++11 支持编译的。

通过使用以下 Makefile，一切都可以按预期编译和工作：

CXX = clang++
CXXDIALECT = -std=c++11 -stdlib=libc++
DEFS = -DBOOST_NO_CXX11_NUMERIC_LIMITS
INCLUDE_DIRS = -I. -I/usr/local/include -I/usr/include -I/opt/local/include
LIB_DIRS = -L/usr/local/lib -L/opt/local/lib 
LIBS = -lfitted -lgsl -lgslcblas -lboost_thread -lboost_program_options -lboost_regex -lboost_system
CINCLUDE = $(INCLUDE_DIRS)
CXXFLAGS = -Os $(CXXDIALECT) $(CINCLUDE) $(DEFS)

tests := main.cpp
sources := $(filter-out $(tests), $(wildcard *.cpp))
objects :=  $(patsubst %.cpp,%.o,$(sources))

main: $(objects)
    $(CXX) $(CXXFLAGS) -o $@ $@.cpp $(objects) $(LIBS) $(LIB_DIRS) -v

%.o : %.cpp
    $(CXX) -c $(CPPFLAGS) $(CXXFLAGS) $< -o $@

libfitted外部库的名称在哪里。

不过，我正在 XCode 4.6.2 下开发我的代码。问题是每次我尝试在 XCode 中运行/调试代码时，Dataset.save成员函数都会触发以下错误：

EXC_BAD_ACCESS

并在磁盘上创建一个空dataset.txt文件。这是堆栈跟踪的几个屏幕截图：

堆栈跟踪1 堆栈跟踪2

单击此处和此处以全尺寸查看它们。

正如屏幕截图中所报告的，问题似乎出在ofstream.flush()成员函数中。最后，我报告了make和xcodebuild的输出

我真的不明白为什么相同的代码，使用相同的编译器和库，如果使用上述 Makefile 编译，则可以正确执行，而如果在 XCode 中执行则无法正常工作。

更新#1：我刚刚注意到，如果我使用 GDB 而不是 LLDB 作为调试器，则代码在 XCode 中是可调试的（尽管不可运行），即Dataset.save不会触发 EXC_BAD_ACCESS 错误。

更新#2：我用标志重新编译了库，-g -O0以保留调试符号。问题是，每次在 a的成员函数ofstream中初始化对象时，实例的指针都会变为，即对象被无效化。因此，每次尝试访问成员函数中的任何数据成员都会导致. 这是我见过的最奇怪的事情之一。知道为什么会这样吗？DatasetthisDatasetNULLDatasetEXC_BAD_ACCESS

谢谢。

4

1 回答 1

1

std::vector<...> 类并非旨在用作基类。这样使用它会导致未定义的行为（至少因为缺少虚拟析构函数）。

C++ 编码标准 (Sutter, Alexandrescu) 中的第 35 条，命名为

避免从不是设计为基类的类继承。

在这里可能会有所帮助。

Effective C++ (Meyers) 的第 7 条用这个例子讨论了这个问题：

class SpecialString: public std::string{
...
}

乍一看，这可能看起来无害，但如果在应用程序中的任何地方，您以某种方式将指向 SpecialString 的指针转换为指向字符串的指针，然后在字符串指针上使用 delete，您会立即被传送到未定义的领域行为。

于 2013-07-04T11:38:46.917 回答