192622dc49
The standard isn't exactly clear how std::array should handle zero-sized arrays with const element types. In particular W.R.T. copy assignment, swap, and fill. This patch takes the position that those operations should be ill-formed, and makes changes to libc++ to make it so. This follows up on commit r324182. llvm-svn: 324185
31 lines
880 B
C++
31 lines
880 B
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// <array>
|
|
|
|
// void swap(array& a);
|
|
|
|
#include <array>
|
|
#include <cassert>
|
|
|
|
// std::array is explicitly allowed to be initialized with A a = { init-list };.
|
|
// Disable the missing braces warning for this reason.
|
|
#include "disable_missing_braces_warning.h"
|
|
|
|
int main() {
|
|
{
|
|
typedef double T;
|
|
typedef std::array<const T, 0> C;
|
|
C c = {};
|
|
C c2 = {};
|
|
// expected-error@array:* {{static_assert failed "cannot swap zero-sized array of type 'const T'"}}
|
|
c.swap(c2); // expected-note {{requested here}}
|
|
}
|
|
}
|