jasder
/
antlr
1
0
Fork 1
Code Issues Pull Requests Releases 1 Wiki Activity

rewrite with std::is_nothrow_copy_constructible

This commit is contained in:
EternalPhane 2018-03-26 20:31:51 +08:00
parent b4a43a886d
commit 8fb3b42ded
1 changed files with 4 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
runtime/Cpp/runtime/src/support/Any.h
View File

@ -99,11 +99,6 @@ struct ANTLR4CPP_PUBLIC Any
}
private:
template<class T, class V = void>
struct Cloneable : std::is_copy_constructible<T> {};
template<class T, class A, template<class = T, class = A> class C>
struct Cloneable<C<T, A>, typename std::enable_if<std::is_copy_constructible<C<T, A>>::value && !std::is_nothrow_copy_constructible<C<T, A>>::value>::type> : std::is_copy_constructible<T> {};
struct Base {
virtual ~Base() {};
virtual Base* clone() const = 0;
@ -122,13 +117,13 @@ private:
}
private:
template<int N = 0>
auto clone() const -> typename std::enable_if<N == N && Cloneable<T>::value, Base*>::type {
template<int N = 0, typename std::enable_if<N == N && std::is_nothrow_copy_constructible<T>::value, int>::type = 0>
Base* clone() const {
return new Derived<T>(value);
}
template<int N = 0>
auto clone() const -> typename std::enable_if<N == N && !Cloneable<T>::value, Base*>::type {
template<int N = 0, typename std::enable_if<N == N && !std::is_nothrow_copy_constructible<T>::value, int>::type = 0>
Base* clone() const {
return nullptr;
}