なぜstd :: vector :: get_allocator（）は値によって戻りますか？

Question

驚いたことに、std::vector::get_allocator()をコピーできないアロケータで使用しようとするとエラーが発生します。 std::vector::get_allocator()が参照によってではなく値で返されるのはなぜですか？

template<typename T> 
class nc_allocator { 
public: 
    using value_type = T; 

    nc_allocator(nc_allocator const&) = delete; 
    nc_allocator& operator=(nc_allocator const&) = delete; 

    // Other required members. 
}; 

std::vector<int, nc_allocator<int>> v; 
// boom: use of deleted function 
//   'nc_allocator<T>::nc_allocator(const nc_allocator<T>&) [with T = int]' 
v.get_allocator(); 

Answer 1

コピー不能アロケータでstd::vector::get_allocator()を使用しようとすると、私はエラーを得ました。

標準ではこれを禁止しています。 17.6.3.5のアロケータ要件では、アロケータはコピー可能でなければならないと述べている。したがって、値によって返さ

X a1(a);   Shall not exit via an exception. 
       post: a1 == a 
X a1(move(a)); Shall not exit via an exception. 
       post: a1 equals the prior value 
       of a. 

は、アロケータを返す標準によって定義されたアロケータ要件についての正しい方法です。

私はわかりません理由はですが、これは必須ですが、コピーできないアロケータが許可されていれば、空の基本最適化はもう機能しません。

Answer 2

標準は、単によう指示：

[C++11: 23.2.1/7]:[..]この節 部材get_allocator（で定義されているすべてのコンテナタイプで）コンテナを構築するために使用されるアロケータのコピーを返しますかそのアロケータを交換した場合、直近の交換のコピー[..]

は私がヴォーンの正しい彼の仮説でアロケータをuであることを意味していること@疑い"ハンドル"としてsed。

非常にルーズの類推では、標準アルゴリズムで使用するためにコピーできないファンクタを書くことはありますか？