LineageOS/android_external_libcxx
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix PR#32605: common_type<T> is not SFINAE-friendly

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@299901 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Marshall Clow
2017-04-10 23:47:47 +00:00
parent c50c6b79c3
commit a43fe06888
2 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
include/type_traits
View File

@@ -1998,9 +1998,7 @@ struct _LIBCPP_TEMPLATE_VIS common_type {};
template <class _Tp> template <class _Tp>
struct _LIBCPP_TEMPLATE_VIS common_type<_Tp> struct _LIBCPP_TEMPLATE_VIS common_type<_Tp>
{ : public common_type<_Tp, _Tp> {};
typedef typename common_type<_Tp, _Tp>::type type;
};
// bullet 3 - sizeof...(Tp) == 2 // bullet 3 - sizeof...(Tp) == 2

4
test/std/utilities/meta/meta.trans/meta.trans.other/common_type.pass.cpp
View File

@@ -45,6 +45,8 @@ namespace std
template <> struct common_type< ::S<long>, long> {}; template <> struct common_type< ::S<long>, long> {};
template <> struct common_type<long, ::S<long> > {}; template <> struct common_type<long, ::S<long> > {};
template <> struct common_type<::X<float> > {};
template <> struct common_type<::X<double>, ::X<double> > {};
} }
#if TEST_STD_VER >= 11 #if TEST_STD_VER >= 11
@@ -305,4 +307,6 @@ int main()
static_assert((std::is_same<std::common_type<int, const int>::type, int>::value), ""); static_assert((std::is_same<std::common_type<int, const int>::type, int>::value), "");
static_assert((std::is_same<std::common_type<const int, const int>::type, int>::value), ""); static_assert((std::is_same<std::common_type<const int, const int>::type, int>::value), "");
static_assert(no_common_type<X<float> >::value, "");
static_assert(no_common_type<X<double> >::value, "");
} }