compile visual studio c++ online

Language: Layout:

#include <iostream>
#include <string>
#include <typeinfo>

using std::string;

/*** full type information with typeid ***/
template <class> class Type{};
 
template <class T> std::string typeStr()
{ return typeid(Type<T>).name(); }

/*** template parameter deduection ***/
template <class T> void debug_rep(const T &a) /* 1 */
{
    std::cout << "[1] T type is: " << typeStr<T>()
              << "\t| arg type is: " << typeStr<decltype(a)>() << std::endl;
}
 
template <class T> void force_1(const T &a) /* 1 */
{
    std::cout << "[forced 1] T type is: " << typeStr<T>()
              << "\t| arg type is: " << typeStr<decltype(a)>() << std::endl;
}

template <class T> void force_1b(T &a) /* 1 */
{
    std::cout << "[forced 1b] T type is: " << typeStr<T>()
              << "\t| arg type is: " << typeStr<decltype(a)>() << std::endl;
}
 
template <class T> void debug_rep(T *a)       /* 2 */
{
    std::cout << "[2] T type is: " << typeStr<T>()
              << "\t| arg type is: " << typeStr<decltype(a)>() << std::endl;
}

/*** Overload resolution ***/
void debug_rep_plain_a(int *)               /* 1 */
{ std::cout << "[plain 1]" << std::endl; }

void debug_rep_plain_a(const int *)         /* 2 */
{ std::cout << "[plain 2]" << std::endl; }

void debug_rep_plain_b(const int * const &) /* 1 */
{ std::cout << "[plain 1]" << std::endl; }

void debug_rep_plain_b(const int *)         /* 2 */
{ std::cout << "[plain 2]" << std::endl; }

int main()
{
    std::cout << "int * const &:\t\t" << typeStr<int * const &>() << std::endl;
    std::cout << "const int * &:\t\t" << typeStr<const int * &>() << std::endl;
    std::cout << "const int[3]:\t\t" << typeStr<const int[3]>() << std::endl;
    std::cout << "const int(&)[3]:\t" << typeStr<const int (&)[3]>() << std::endl;
    std::cout << "int[3]:\t" << typeStr<int[3]>() << std::endl;

typedef int IA[3];
    std::cout << "IA:\t\t\t" << typeStr<IA>() << std::endl;
    std::cout << "const IA:\t" << typeStr<const IA>() << std::endl;
    std::cout << "const IA &:\t" << typeStr<const IA &>() << std::endl;

std::cout << "---First example---" << std::endl;
    int i = 41;
    debug_rep(&i);
    force_1(&i);

debug_rep_plain_a(&i);

std::cout << "---Second example---" << std::endl;
    const int *ip = &i;
    debug_rep(ip);
    force_1(ip);

//debug_rep_plain_b(ip); //COMPILATION ERROR: ambiguous call

std::cout << "---Third example---" << std::endl;
    const int ia[3] = {1, 2, 3};
    debug_rep(ia);
    force_1(ia);
    force_1b(ia);

return 0;
}

Show compiler warnings [ + ] Compiler args [ + ] Show input
Compilation time: 1.16 sec, absolute running time: 0.08 sec, absolute service time: 1.25 sec