VC 仅在第一次调用时选择了错误的 operator<< 重载。漏洞？

Question

我花了一些时间删除所有不流畅的代码，这是我的问题。

--- File.h ---

#include <fstream>
#include <string>

template <typename Element>
class DataOutput : public std::basic_ofstream<Element>
{
public:
    DataOutput(const std::string &strPath, bool bAppend, bool bBinary)
    : std::basic_ofstream<Element>(
        strPath.c_str(),
        (bAppend ? ios_base::app : (ios_base::out | ios_base::trunc)) |
(bBinary ? ios_base::binary : 0))
    {
        if (is_open())
            clear();
    }

    ~DataOutput()
    {
        if (is_open())
            close();
    }
};


class File 
{
public:
    File(const std::string &strPath);

    DataOutput<char> *CreateOutput(bool bAppend, bool bBinary);
private:
    std::string m_strPath;
};

--- File.cpp ---

#include <File.h>

File::File(const std::string &strPath)
: m_strPath(strPath)
{
}

DataOutput<char> *File::CreateOutput(bool bAppend, bool bBinary)
{
    return new DataOutput<char>(m_strPath, bAppend, bBinary);
}

--- main.cpp ---

#include <File.h>

void main()
{
    File file("test.txt");

    DataOutput<char> *output(file.CreateOutput(false, false));

    *output << "test"; // Calls wrong overload
    *output << "test"; // Calls right overload!!!

    output->flush();
    delete output;
}

这是使用cl 和选项/D "WIN32" /D "_UNICODE" /D "UNICODE" 构建并运行后的输出文件

--- test.txt ---

00414114test

基本上发生的情况是main 中的第一个operator<< 调用绑定到成员方法

basic_ostream<char>& basic_ostream<char>::operator<<(
    const void *)

而第二个（正确）绑定到

basic_ostream<char>& __cdecl operator<<(
    basic_ostream<char>&,
    const char *)

从而给出不同的输出。

如果我执行以下任何操作，则不会发生这种情况：

• 内联File::CreateOutput
• 将DataOutput 更改为非模板的Element=char
• 在第一个 operator<< 调用之前添加 *output;

我认为这是不受欢迎的编译器行为是否正确？

对此有什么解释吗？

哦，我现在正在使用 VC7 来测试这个简化的代码，但是我已经在 VC9 和 VC8 中尝试过原始代码，并且发生了同样的事情。

感谢任何帮助甚至线索

Answer 1

这是一个编译器错误（不仅仅是看起来像一个），因为它为两个相同的语句生成不同的调用绑定

    *output << "test"; // Calls wrong overload
    *output << "test"; // Calls right overload!!!

但是，编译器有权这样做，因为您有

    void main()

这意味着这不是一个有效的 C++ 程序（void main 在 C 中也是不允许的，而且它在 C 或 C++ 中从来都不是有效的）。所以，你一直在运行编译无效源代码的结果。结果可以是任何东西。

Visual C++ 编译器无法诊断void main 的事实只是另一个编译器错误。

Answer 2

看起来像一个编译器错误。您可能想尝试使用最新的 VC 编译器（目前是 VC10 Beta2），如果没有修复，请与 VC 团队联系（您需要一个完整的自包含 repo）。如果解决了，你应该使用你找到的周围的工作并继续你的生活。

Answer 3

改变

数据输出 *output(file.CreateOutput(false, false));

到

DataOutput* 输出 = file.CreateOutput(false, false);它可能会起作用。但是为了使它成为一个合理的 lib 函数，你不必在返回一个指针而是一个实际对象之后进行清理。