这是Mac OS X 10.6 C ++标准API中的错误吗？

Question

以下代码无法在Mac OS X 10.6上编译; 它在stl_algobase.h中的“从[...]消息实例化”列表后面给出了一个错误。

#include <vector>

int main( void )
{
    std::vector<int*> *v = new std::vector<int*>( 1, NULL );

    return 0;
}  

为了使它编译，我必须在NULL周围进行显式转换，即用(int*)(NULL)替换它。
但这看起来有点尴尬，我怀疑它应该是非常必要的; 它还使我的源代码看起来很奇怪的结构和嵌套在命名空间等等的更长的类型名称。

编辑（错误信息）：

/Developer/SDKs/MacOSX10.6.sdk/usr/include/c++/4.2.1/bits/stl_algobase.h: In static member function 'static _OutputIterator std::__fill_n<true>::fill_n(_OutputIterator, _Size, const _Tp&) [with _OutputIterator = int**, _Size = int, _Tp = int]':
/Developer/SDKs/MacOSX10.6.sdk/usr/include/c++/4.2.1/bits/stl_algobase.h:665:   instantiated from '_OutputIterator std::fill_n(_OutputIterator, _Size, const _Tp&) [with _OutputIterator = int**, _Size = int, _Tp = int]'
/Developer/SDKs/MacOSX10.6.sdk/usr/include/c++/4.2.1/bits/stl_uninitialized.h:184:   instantiated from 'void std::__uninitialized_fill_n_aux(_ForwardIterator, _Size, const _Tp&, std::__true_type) [with _ForwardIterator = int**, _Size = int, _Tp = int]'
/Developer/SDKs/MacOSX10.6.sdk/usr/include/c++/4.2.1/bits/stl_uninitialized.h:219:   instantiated from 'void std::uninitialized_fill_n(_ForwardIterator, _Size, const _Tp&) [with _ForwardIterator = int**, _Size = int, _Tp = int]'  
/Developer/SDKs/MacOSX10.6.sdk/usr/include/c++/4.2.1/bits/stl_uninitialized.h:306:   instantiated from 'void std::__uninitialized_fill_n_a(_ForwardIterator, _Size, const _Tp&, std::allocator<_Tp2>) [with _ForwardIterator = int**, _Size = int, _Tp = int, _Tp2 = int*]'  
/Developer/SDKs/MacOSX10.6.sdk/usr/include/c++/4.2.1/bits/stl_vector.h:790:   instantiated from 'void std::vector<_Tp, _Alloc>::_M_initialize_dispatch(_Integer, _Integer, std::__true_type) [with _Integer = int, _Tp = int*, _Alloc = std::allocator<int*>]'  
/Developer/SDKs/MacOSX10.6.sdk/usr/include/c++/4.2.1/bits/stl_vector.h:261:   instantiated from 'std::vector<_Tp, _Alloc>::vector(_InputIterator, _InputIterator, const _Alloc&) [with _InputIterator = int, _Tp = int*, _Alloc = std::allocator<int*>]'  
/Users/JayZ/projects/C++/test/main.cpp:6:   instantiated from here
/Developer/SDKs/MacOSX10.6.sdk/usr/include/c++/4.2.1/bits/stl_algobase.h:641: error: invalid conversion from 'const int' to 'int*'  

如果这可以帮助......

Answer 1

发生的事情是编译器必须在其中一个允许多个参数的vector构造函数重载之间进行选择：

explicit vector(size_type n, const T& value = T(),
    const Allocator& = Allocator());

template <class InputIterator>
    vector(InputIterator first, InputIterator last,
        const Allocator& = Allocator());

第一个重载（您要匹配）需要转换参数。 第二个不需要转换，因为2个参数是相同的类型。 这就是编译器选择的重载。 不幸的是， int类型没有第二个构造函数用于这些参数的所有操作。

通过将NULL为int*来强制参数为不同的类型，或者通过使第一个参数无符号（ 1U ）正确建议的其他答案将通过强制编译器选择第一个构造函数选项来避免此问题。

更新：

当我用MinGW 4.5.2编译它时，我得到编译错误（不同的，但出于同样的原因，我相信）。 但是，当我使用MSVC（2008或2010）构建时，我没有错误。 当我查看MSVC生成的代码时，它实际上匹配第二个重载（使用2个迭代器）而不是“大小和默认值”重载。

“Aha”，我认为，“这会在某个地方运行时崩溃，因为值为1和0迭代器没有任何意义”。

但是，当该构造函数的“迭代器”类型碰巧为int ，MSVC实现执行vector的“计数/初始值”构造。

标准说明当构造函数的InputIterator参数满足InputIterator的要求时，构造函数必须执行的操作。 由于int不符合InputIterator的要求，因此实现有一些自由的统治来做其他事情。 标准说“一个实现可以在一个类中声明额外的非虚拟成员函数签名”（17.4.4.4），这将涵盖MSVC的行为，我相信。 标准也允许您看到的以及我在GCC 4.5.2中看到的产生错误诊断的行为。

我确信MSVC的行为是大多数用户想要和想要的（直到他们转移到其他编译器的代码）。 这当然很聪明。

Answer 2

您发布的代码在OS X 10.6.7上为我编译。 我添加了一些断言只是为了证明它正在做它看起来应该是......

bash-3.2$ cat test.cpp 
#include <vector>
#include <cassert>

int main()
{
    std::vector<int*> *v = new std::vector<int*>( 1, NULL );
    assert(v != NULL);
    assert(v->size() == 1);
    assert(v->at(0) == NULL);
    assert(false);
    return 0;
}  

bash-3.2$ 
bash-3.2$ g++ -Wall -Wextra -Weffc++ test.cpp 
bash-3.2$ ./a.out 
Assertion failed: (false), function main, file test.cpp, line 10.
Abort trap
bash-3.2$ g++ --version
i686-apple-darwin10-g++-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5664)
Copyright (C) 2007 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

assert(false)是故意的:-)

感谢Mackie Messer的回答，我可以用-m32重现你的错误。 这条线修复它（比铸造恕我直言更整洁）：

std::vector<int*> *v = new std::vector<int*>(1U, NULL);

希望这可以帮助。