| // (C) Copyright Edward Diener 2020 |
| // Use, modification and distribution are subject to the Boost Software License, |
| // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at |
| // http://www.boost.org/LICENSE_1_0.txt). |
| |
| #include <boost/tti/detail/dmacro_sunfix.hpp> |
| |
| struct AType |
| { |
| template<class X,class Y,class Z> double SomeFuncTemplateName(X,Y *,Z &) { return 0.0; } |
| template<class X,class Y,short AA> static int StatFuncTemplate(X *,Y) { int ret(AA); return ret; } |
| }; |
| |
| template |
| < |
| class C, |
| class T |
| > |
| struct TestFunctionTemplate |
| { |
| typedef char Bad; |
| struct Good { char x[2]; }; |
| template<T> struct helper BOOST_TTI_DETAIL_MACRO_SUNFIX ; |
| template<class U> static Good check(helper<&U::template SomeFuncTemplateName<int,long,double> > *); |
| template<class U> static Bad check(...); |
| static const bool value=sizeof(check<C>(0))==sizeof(Good); |
| }; |
| |
| template |
| < |
| class C, |
| class T |
| > |
| struct TestStaticFunctionTemplate |
| { |
| typedef char Bad; |
| struct Good { char x[2]; }; |
| template<T *> struct helper BOOST_TTI_DETAIL_MACRO_SUNFIX ; |
| template<class U> static Good check(helper<&U::template StatFuncTemplate<long,int,1234> > *); |
| template<class U> static Bad check(...); |
| static const bool value=sizeof(check<C>(0))==sizeof(Good); |
| }; |
| |
| int main() |
| { |
| |
| bool bv = |
| |
| TestFunctionTemplate |
| < |
| AType, |
| double (AType::*) (int,long *,double &) |
| >::value |
| |
| && |
| |
| TestStaticFunctionTemplate |
| < |
| AType, |
| int (long *,int) |
| >::value |
| ; |
| |
| return (bv ? 0 : 1); |
| } |