allow T* -> T const* but not Derived* -> Base*

XeCycle · Apr 2, 2020 · 57667d0 · 57667d0
1 parent 23a8d45
commit 57667d0
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/ptr-iter-const-conv.cc b/ptr-iter-const-conv.cc
@@ -0,0 +1,10 @@
+#include <type_traits>
+
+static_assert(std::is_convertible_v<int (&)[], int const (&)[]>);
+
+struct B {};
+struct D : B {};
+
+static_assert(std::is_convertible_v<D*, B*>);
+static_assert(!std::is_convertible_v<D (&)[], B (&)[]>);
+static_assert(std::is_convertible_v<D (&)[], D const (&)[]>);