struct Data1
{
 Data1()             { std::cout << "Data1 default ctor" << std::endl; ++i; }
 Data1(const Data1&) { std::cout << "Data1 copy ctor" << std::endl;    ++i; }
 Data1(Data1&&)      { std::cout << "Data1 move ctor" << std::endl;    ++i; }

 int i = 0;
};


struct Data2
{
 Data2()             { std::cout << "Data2 default ctor" << std::endl; ++i; }
 Data2(const Data2&) { std::cout << "Data2 copy ctor" << std::endl;    ++i; }
 Data2(Data2&&)      { std::cout << "Data2 move ctor" << std::endl;    ++i; }

 int i = 0;
};


template <typename Foo, typename... Args>
void Wrap(Foo&& foo, Args&&... args)
{
 foo(std::forward<Args>(args)...);
}


void foo(Data1& a, Data2&& b)
{
 assert(a.i == 1);
 assert(b.i == 1);
}


int main()
{
 Data1 a;

 Wrap(foo, a, Data2());
}

//***** stl::remove_reference **************************************************
//
// Since C++11
// Реализовано по причине отсутствия в std IBM i удаления правой ссылки

template <typename T>
struct remove_reference      { typedef T type; };

template <typename T>
struct remove_reference<T&>  { typedef T type; };

template <typename T>
struct remove_reference<T&&> { typedef T type; };
////////////////////////////////////////////////////////////////////////////////


//***** stl::forward ***********************************************************
//
// Since C++11
// Реализовано по причине отсутствия в std IBM i

template <typename T>
T&& forward(typename remove_reference<T>::type& Arg)
{
 return static_cast<T&&>(Arg);
}

template <typename T>
T&& forward(typename remove_reference<T>::type&& Arg)
{
 return static_cast<T&&>(Arg);
}
////////////////////////////////////////////////////////////////////////////////


struct Data
{
 Data()            { ++i; }
 Data(const Data&) { ++i; }
 Data(Data&&)      { ++i;…

template<typename T>
struct forward_tester {
   static_assert(std::is_same_v<decltype(std::forward<T&>(std::declval<T&>())), T&>);
   static_assert(std::is_same_v<decltype(std::forward<T&&>(std::declval<T&&>())), T&&>);
   using type = std::true_type;
};
#define FORWARD_TEST(T) static_assert(std::is_same_v<typename forward_tester<T>::type, std::true_type>);
int main() {
   FORWARD_TEST(int&&);
   FORWARD_TEST(const volatile int*);
   return 0;
}

Fast C++ logging library. Contribute to gabime/spdlog development by creating an account on GitHub.