/**
 * 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;
}