C++模板元编程习题

2-0

编写一个一元元函数 add_const_ref, 如果T是一个引用类型，就返回T，否则返回T const&。

#include 

template 
struct add_const_reference;

template 
struct add_const_ref
{
    using type = typename add_const_reference::value, T>::type;
};

template 
struct add_const_reference
{
    using type = typename std::add_lvalue_reference::type>::type;
};

template 
struct add_const_reference
{
    using type = typename std::remove_reference::type;
};

int main(int argc, char *argv[])
{
    using a = int&;
    using b = int;
    
    std::cout << std::is_same::type>::value << std::endl;
    
    using c = int const&;
    
    std::cout << std::is_same::type>::value << std::endl;
}

2-1

编写一个三元元函数 replace_type， 让他接受一个任意的复合类型c作为其第一个参数，并将c中出现的所有type x替换为y；