1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
/**
* This program checks if the compiler doesn't have a certain bug
* that we encountered when testing C++11 features
*/
#include "test_config.h"
#include <type_traits>
#include <memory>
namespace FOO
{
template <typename T>
class o_r;
template <typename T>
struct o_t
{
using ref_type = o_r<T>;
};
class T_base {};
template<typename T,
typename = typename std::enable_if<
std::is_base_of<T_base, T>::value>::type, typename ...Args>
o_r<T> make_f(Args&& ...args);
template <typename T>
class o_r final
{
public:
template <typename _Tp1, typename, typename ...Args>
friend o_r<_Tp1> make_f(Args&& ...args);
protected:
using shared_ptr_type = std::shared_ptr<T>;
template<typename _Tp1, typename = typename
std::enable_if<std::is_convertible<_Tp1*, T*>::value>::type>
explicit o_r (_Tp1*)
: stub_ ()
{}
private:
shared_ptr_type stub_;
};
template<typename T, typename, typename ...Args>
inline o_r<T> make_f(Args&& ...args)
{
return o_r<T> (new T (std::forward<Args> (args)...));
}
class A : public T_base
{
protected:
A () = default;
template <typename _Tp1, typename, typename ...Args>
friend o_r<_Tp1> make_f(Args&& ...args);
};
o_t<A>::ref_type create ()
{
return make_f<A>();
}
class B {};
}
int
run_main (int, ACE_TCHAR *[])
{
ACE_START_TEST (ACE_TEXT("Compiler_Features_24_Test"));
FOO::o_r<FOO::A> l = FOO::create();
FOO::o_r<FOO::A> l2 = FOO::make_f<FOO::A>();
// next line doesn't compile and shouldn't
//FOO::o_r<FOO::B> l3 = FOO::make_f<FOO::B>();
ACE_DEBUG ((LM_INFO,
ACE_TEXT ("Compiler Feature 24 Test does compile and run.\n")));
ACE_END_TEST;
return 0;
}
|