type_traits这样可以吗

[ligang17596]

以下是源代码
#include<iostream>
#define null template<>

using namespace std;

struct a_type{};
struct b_type{};
struct c_type{};

void output(int i, a_type)
{
cout << i << endl;
}

void output(int *j, b_type)
{
cout << *j << endl;
}

void output(int &k,c_type)
{
cout << k << endl;
}

template<class T>
struct type_traits
{
};


null struct type_traits<int>
{
typedef a_type atype;
};

null struct type_traits<int *>
{
typedef b_type btype;
};

null struct type_traits<int &>
{
typedef c_type ctype;
};


int main()
{
int t = 2;
int *i;
i = &t;
int &d = t;
cout << t << endl;
cout << d << endl;
typedef type_traits<int>::atype aatype;
typedef type_traits<int *>::btype bbtype;
typedef type_traits<int &>::ctype cctype;
output(t, aatype());
output(i, bbtype());
output(d, cctype());

return 0;
}
结果如下：
2
2
2
2
2

[huyuhui123]

简化你要问的问题行吗，没有时间看这么多

[ligang17596]

不好意思 是关于traits的问题

[ilovevc]

你这种用法不对,根本没有理解traits的作用。
看你的main函数中，你还要让使用者typedef一堆东西，它还不如直接调用某个特定的函数算了。

而且null 这些东西可以编译通过吗？

[Mephisto_76]

将type_traits 中的 atype、btype、ctype都改为type，然后就直接使用type_traits<int>::type, type_traits<int*>::type, type_traist<int&>::type 就成了。不需要使用这么多typedef。traits的意思就是使不同类型的traits中的字面相同的类型代表不同的意义。如果字面本来就不一样，就不需要使用traits了。

而且也不应该使用null，要使用template<> struct type_traits<int>之类的形式。