Question

我在其中一个项目中遇到了一个奇怪的问题。我的代码库依赖于一个外部库，它包含一个名为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文件。以下是堆栈跟踪的几个屏幕截图：

stack trace1 stack trace2

点击here和here以完整尺寸查看它们。

如屏幕截图所示，问题似乎位于ofstream.flush()成员函数中。最后，我报告了make和xcodebuild

的输出

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

UPDATE＃1：我刚注意到如果我用作调试器GDB而不是LLDB，代码在XCode中可以调试（虽然不能运行），即Dataset.save不会触发EXC_BAD_ACCESS错误。

UPDATE＃2：我使用-g -O0标志重新编译了库，以便保留调试符号。问题是每次在ofstream的成员函数中初始化Dataset对象时，this实例的Dataset指针变为NULL，即， Dataset对象无效。因此，每次尝试访问成员函数中的任何数据成员都会产生EXC_BAD_ACCESS。这是我见过的最奇怪的事情之一。对于为什么会发生这种情况的任何想法？

感谢。

Answer 1

std :: vector＆lt; ...＆gt; class不能用作基类。使用它会导致未定义的行为（至少由于缺少虚拟析构函数）。

C ++编码标准中的第35项（Sutter，Alexandrescu），名为

避免从未设计为基础的类继承类。

在这里可能会有所帮助。

Effective C ++（Meyers）的第7项讨论了这个例子的问题：

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

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

如果使用Makefile编译，代码可正常工作，如果使用XCode编译，则代码崩溃

1 个答案: