int& 定义的变量的类型却是 int

2004-04-01 12:03:05 130 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

EGL语言教程之一：变量与数据类型变量与数据类型计算机处理的对象是数据，而数据是以某种特定的形式存在的（例如整数、浮点数、字符等形式）。不同的数据之间往往还存在某些联系（例如由若干个整数组成一个整数数组）。数据结构指的是数据的组织形式。例如，数组就是一种数据结构。不同的计算机语言所允许使用的数据结构是不同的。处理同一类问题，如果数据结构不同，算法也会不同。例如，对10个整数排序和对包含10个元素的整型数组排序的算法是不阅读详情

听几个高人讨论，写这个程序：
template <typename T, typename C>
struct CompilerTypeCheck
{
};

template <typename T>
struct CompilerTypeCheck<T, T>
{
typedef T value_type;
};

template <typename T, typename C>
void
VarTypeCheckFunction (C c)
{
typename CompilerTypeCheck<T, C>::value_type t = c;
}

template <typename T>
struct CheckType
{
template <typename C>
CheckType (C c)
{
T t = c;
VarTypeCheckFunction<T>(t);
}
};

int
main ()
{
CheckType<int> i(0);
CheckType<int&> r(0); // 编译错误
}

...全文

雷达原理习题答案【西电】目前教材用的是陈老师新版的，但是，我发现课后题有一部分是之前某本书里的。答案如下【建议参看原题→查阅答案】【原题点这里！！点这里！！】目录跳转功能目前好像只支持网页版文章目录% 第一章、第二章% 第三章% 第四章% 第五章% 第六章% 第七章% 第八章 % 第一章、第二章 % 第三章 % 第四章 % 第五章 % 第六章 % 第七章 % 第八章 ... 阅读详情

cxjddd

C++ 语言 65,214 成员 250,514 内容

+ 关注 + 加入社区

切换为时间正序

Jinhao 2004-04-04

打赏
举报

一个引用其实在使用上一直被认为是该引用的原型，例如
int i;
int& r=i;
在使用上r完全是一个int。甚至用typinfo::name()得出来的信息也是int，所以这里有些细微的东西容易被忽略
template<typename T>
void fun(T);

fun(r); //把r传递给函数模板fun，那推导出的T到底是int还是int&？其实是int
如果要让T成为int&，那么在实例化时就应该指定模板参数
fun<int&>(r);

cxjddd 2004-04-04

打赏
举报

哈哈，说得太好了：）

Jinhao 2004-04-03

打赏
举报

这个错误就是，特化版本指定的模板参数个数与泛化版本的不同

cxjddd 2004-04-02

打赏
举报

template<class T,class V, class Z, class M>//这里可以随便声明吗？
struct CompilerTypeCheck<V, V>
{
typedef T value_type;
};
这个特化在 GCC3.2 里编译是不通过的。看了出错提示，我觉得，特化时列出的所有参数，必须可以恰好转换成原参数。如 <T> 可以转换成 <T, T>。或者如
template<class T, class V, class Z>
struct CompilerTypeCheck<T, std::pair<V, Z> >
{
};
通过 <T, V, Z> 转换成了 <T, std::pair<V, Z> >，这是可以的。

cxjddd 2004-04-01

打赏
举报

to againli(again):
2、typename CompilerTypeCheck<T, C>::value_type 里的 T 和 C 并不与前面的一样，编译器会根据实际类型来选择的。实际上，T、C 完全可能是同一类型。

3、VarTypeCheckFunction 有两个类型参数，由于通过参数 c 可以确定类型 C，所以只需给定类型 T。写起来就象 VarTypeCheckFunction<T>(c)。也可以写完整：VarTypeCheckFunction<T, C>(c)。

smallbull 2004-04-01

打赏
举报

int&什么意思，引用吗？好像不能在此使用吧，你是不是要CheckType<int*> r(0);

xrdlm 2004-04-01

打赏
举报

是引用啊

Jinhao 2004-04-01

打赏
举报

这点毫无争论
CheckType<int&> r(0);
指定的CheckType模板参数是int&，而0确是int
所以
template <T=int&,C=int> //伪码
CheckType<T>::CheckType(C)
接着
VarTypeCheckFunction<T>(t); //t的类型是C
接着
typename CompilerTypeCheck<T, C>::value_type t = c; //没有匹配CompilerTypeCheck的偏特化版本
而是匹配的
template <typename T, typename C>
struct CompilerTypeCheck
{
};
这里面没有typedef T value_type，所以编译到typename CompilerTypeCheck<T, C>::value_type t = c;出错

againli 2004-04-01

打赏
举报

如果VarTypeCheckFunction(t); 就错了，因为VarTypeCheckFunction的typename T不知道为何物
只有
VarTypeCheckFunction<T>(t);
^ 这样才能告诉编译器T是什么，这里的T就是CheckType的T

--〉通俗一点理解是不是这样，因为参数推演只能推出一个参数（C），所以函数调用的时候
还需要再加上一个莫板参数，那是不是如果莫板函数定义成
template <typename T, typename C, typename TT>
void VarTypeCheckFunction (C c)
{
typename CompilerTypeCheck<T, C>::value_type t = c;
}

函数调用的时候就要 VarTypeCheckFunction<T, TT>(t);//假设TT存在

问题比较多，呵呵

againli 2004-04-01

打赏
举报

这是CompilerTypeCheck的偏特化版，就是针对两个类型一样时

-->模板偏特化我是知道的，但是在偏特化的时候，是不是模板可以不一致，
template<typename T,typename C> 可以换成 template <typename T> 或者这样说，我随便声明模板
template<class T,class V, class Z, class M>//这里可以随便声明吗？
struct CompilerTypeCheck<V, V>
{
typedef T value_type;
};

Jinhao 2004-04-01

打赏
举报

template <typename T> //这里不应该是template<typename T,typename C>吗~？
struct CompilerTypeCheck<T, T>
{
typedef T value_type;
};
这是CompilerTypeCheck的偏特化版，就是针对两个类型一样时
=========================================================
如果VarTypeCheckFunction(t); 就错了，因为VarTypeCheckFunction的typename T不知道为何物
只有
VarTypeCheckFunction<T>(t);
^ 这样才能告诉编译器T是什么，这里的T就是CheckType的T

againli 2004-04-01

打赏
举报

呵呵，我想的和辣子高人有点类似
但是对于模板使用还有一些问题。
1。
template <typename T> //这里不应该是template<typename T,typename C>吗~？
struct CompilerTypeCheck<T, T>
{
typedef T value_type;
};
2。
VarTypeCheckFunction<T>(t); //为什么一定要如此声明，不应该是
//VarTypeCheckFunction(t);吗？难道函数模板也可以如此？

在请教

sharkhuang 2004-04-01

打赏
举报

mark先!看到模板就头痛!

againli 2004-04-01

打赏
举报

vc6.0可能很多性能不支持,搂主误怪,呵呵,

againli 2004-04-01

打赏
举报

我最近也在看模板,望高手指教

againli 2004-04-01

打赏
举报

楼上能解释一下吗?!
1.//模板偏特化,为什么模板参数不一致?!
template <typename T, typename C>
struct CompilerTypeCheck
{
};

template <typename T>
struct CompilerTypeCheck<T, T>
{
typedef T value_type;
};
2. typename CompilerTypeCheck<T, C>::value_type t = c;

//调用的时候被解释为第一个模板函数,但是其中不含有value_type啊?,用c这个变量给类别负值?
3. VarTypeCheckFunction<T>(t);
//这句语法实在看不懂,指教

int& 定义的变量的类型却是 int

相关推荐