确认此标准库错误与 MSVC 2015 RC 中的分配器有关
Confirm This Standard Library Bug Relating to Allocators in MSVC 2015 RC
这是一个SSCCE:
#include <memory>
#include <vector>
template <class T> struct my_allocator : std::allocator<T> {
//This overriding struct causes the error
template <class U> struct rebind {
typedef my_allocator<T> other;
};
//Ignore all this.
typedef std::allocator<T> base;
typename base::pointer allocate(typename base::size_type n, std::allocator<void>::const_pointer /*hint*/=nullptr) { return (T*)malloc(sizeof(T)*n); }
void deallocate(typename base::pointer p, typename base::size_type /*n*/) { free(p); }
};
int main(int /*argc*/, char* /*argv*/[]) {
std::vector<int,my_allocator<int>> vec;
return 0;
}
GCC 喜欢。
ICC 很喜欢
叮当喜欢
连 MSVC 2013 都喜欢。
但是MSVC 2015 RC吐槽:
1>------ Build started: Project: Test Alloc, Configuration: Debug Win32 ------
1> main.cpp
1>c:\program files (x86)\microsoft visual studio 14.0\vc\include\vector(579): error C2664: 'void std::_Wrap_alloc<my_allocator<int>>::deallocate(int *,unsigned int)': cannot convert argument 1 from 'std::_Container_proxy *' to 'int *'
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\vector(579): note: Types pointed to are unrelated; conversion requires reinterpret_cast, C-style cast or function-style cast
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\vector(574): note: while compiling class template member function 'void std::_Vector_alloc<std::_Vec_base_types<_Ty,_Alloc>>::_Free_proxy(void)'
1> with
1> [
1> _Ty=int,
1> _Alloc=my_allocator<int>
1> ]
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\vector(541): note: see reference to function template instantiation 'void std::_Vector_alloc<std::_Vec_base_types<_Ty,_Alloc>>::_Free_proxy(void)' being compiled
1> with
1> [
1> _Ty=int,
1> _Alloc=my_allocator<int>
1> ]
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\vector(668): note: see reference to class template instantiation 'std::_Vector_alloc<std::_Vec_base_types<_Ty,_Alloc>>' being compiled
1> with
1> [
1> _Ty=int,
1> _Alloc=my_allocator<int>
1> ]
1> c:\users\ian mallett\desktop\test-alloc\main.cpp(18): note: see reference to class template instantiation 'std::vector<int,my_allocator<int>>' being compiled
相关程序给出类似的可疑声音错误。这里有两个:
error C2664: 'void std::_Wrap_alloc>::deallocate(int *,unsigned int)': 无法将参数 1 从 'std::_Container_proxy *' 转换为 'int *'
无法将参数 1 从 'std::_Wrap_alloc>' 转换为 'const aligned_allocator &'
布尔问题:这是一个错误吗?如果是,我会(try)提交。
[编辑:如评论中所述,此 仅在调试模式下发生 。在发布模式下,它编译并执行得很好。]
[编辑:更简单的例子]
Boolean question: is this a bug?
false
.
虽然这里 MSVC 给出的模板错误非常无用,但这里的错误是我的(放心,因为这个版本的标准库今天发布了)。
我从各种来源创建了这个分配器(以及后来的简化测试用例),这就是为什么我认为它是正确的。但是,正如评论中所建议的那样,我再次检查了一遍,这次是详尽地对照文档。
这里缺少的组件是复制构造函数之一(不能是auto-generated的模板)。这仅在定义 rebind
结构时出现,因为 rebind
结构覆盖了 parent class 中的相同结构(因为它位于 parent class,最终导致调用parent的复制构造函数,所以没有问题(除了技术上的错误)。
这里有趣的是错误直到现在才出现。正如我所说,GCC、Clang 和 MSVC 2013 都喜欢它(即使使用它们各自的调试模式)。只是这些中的none恰好调用了模板拷贝构造函数。尽管如此,它是标准规定的,所以再次,错误最终是我的。
祝贺 MSVC 编译器团队,抱歉打扰了! :D
这是一个SSCCE:
#include <memory>
#include <vector>
template <class T> struct my_allocator : std::allocator<T> {
//This overriding struct causes the error
template <class U> struct rebind {
typedef my_allocator<T> other;
};
//Ignore all this.
typedef std::allocator<T> base;
typename base::pointer allocate(typename base::size_type n, std::allocator<void>::const_pointer /*hint*/=nullptr) { return (T*)malloc(sizeof(T)*n); }
void deallocate(typename base::pointer p, typename base::size_type /*n*/) { free(p); }
};
int main(int /*argc*/, char* /*argv*/[]) {
std::vector<int,my_allocator<int>> vec;
return 0;
}
GCC 喜欢。
ICC 很喜欢
叮当喜欢
连 MSVC 2013 都喜欢。
但是MSVC 2015 RC吐槽:
1>------ Build started: Project: Test Alloc, Configuration: Debug Win32 ------
1> main.cpp
1>c:\program files (x86)\microsoft visual studio 14.0\vc\include\vector(579): error C2664: 'void std::_Wrap_alloc<my_allocator<int>>::deallocate(int *,unsigned int)': cannot convert argument 1 from 'std::_Container_proxy *' to 'int *'
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\vector(579): note: Types pointed to are unrelated; conversion requires reinterpret_cast, C-style cast or function-style cast
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\vector(574): note: while compiling class template member function 'void std::_Vector_alloc<std::_Vec_base_types<_Ty,_Alloc>>::_Free_proxy(void)'
1> with
1> [
1> _Ty=int,
1> _Alloc=my_allocator<int>
1> ]
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\vector(541): note: see reference to function template instantiation 'void std::_Vector_alloc<std::_Vec_base_types<_Ty,_Alloc>>::_Free_proxy(void)' being compiled
1> with
1> [
1> _Ty=int,
1> _Alloc=my_allocator<int>
1> ]
1> c:\program files (x86)\microsoft visual studio 14.0\vc\include\vector(668): note: see reference to class template instantiation 'std::_Vector_alloc<std::_Vec_base_types<_Ty,_Alloc>>' being compiled
1> with
1> [
1> _Ty=int,
1> _Alloc=my_allocator<int>
1> ]
1> c:\users\ian mallett\desktop\test-alloc\main.cpp(18): note: see reference to class template instantiation 'std::vector<int,my_allocator<int>>' being compiled
相关程序给出类似的可疑声音错误。这里有两个:
error C2664: 'void std::_Wrap_alloc>::deallocate(int *,unsigned int)': 无法将参数 1 从 'std::_Container_proxy *' 转换为 'int *'
无法将参数 1 从 'std::_Wrap_alloc>' 转换为 'const aligned_allocator &'
布尔问题:这是一个错误吗?如果是,我会(try)提交。
[编辑:如评论中所述,此 仅在调试模式下发生 。在发布模式下,它编译并执行得很好。] [编辑:更简单的例子]
Boolean question: is this a bug?
false
.
虽然这里 MSVC 给出的模板错误非常无用,但这里的错误是我的(放心,因为这个版本的标准库今天发布了)。
我从各种来源创建了这个分配器(以及后来的简化测试用例),这就是为什么我认为它是正确的。但是,正如评论中所建议的那样,我再次检查了一遍,这次是详尽地对照文档。
这里缺少的组件是复制构造函数之一(不能是auto-generated的模板)。这仅在定义 rebind
结构时出现,因为 rebind
结构覆盖了 parent class 中的相同结构(因为它位于 parent class,最终导致调用parent的复制构造函数,所以没有问题(除了技术上的错误)。
这里有趣的是错误直到现在才出现。正如我所说,GCC、Clang 和 MSVC 2013 都喜欢它(即使使用它们各自的调试模式)。只是这些中的none恰好调用了模板拷贝构造函数。尽管如此,它是标准规定的,所以再次,错误最终是我的。
祝贺 MSVC 编译器团队,抱歉打扰了! :D