帮我看看函数创建的问题,哪里创建的包带有编译错误误

今天看到accelerated c++上有个简单的vector容器的实现Vec,就再vs2008上编译了下:
#ifndef GUARD_VEC_H
#define GUARD_VEC_H
#include &iostream&
#include &iterator&
#include &memory&
//#include &xmemory&
template &class T&
typedef T*
typedef const T* const_
typedef size_t size_
typedef T value_
typedef T&
typedef const T& const_
Vec() {create();} //默认的构造函数
explicit Vec(size_type n,const T& t=t()) {create(n,t);} //单参数或者两个参数构造函数
Vec(const Vec& v) {create(v.begin(),v.end());} //拷贝构造函数
Vec& operator=(const Vec&);
//赋值构造函数
~Vec() {uncreate();} //析构函数
size_type size() { return avail- } //定义类的大小,ptrdiff_t自动转化成size_t
void push_back(const T& t)
if (avail==limit)
unchecked_append(t);
//重载【】
T& operator[] (size_type i) { return data[i]; }
const T& operator[] (size_type i) const { return data[i]; }
//定义begin和end,都有两个版本
iterator begin() {}
const_iterator begin() const {}
iterator end() {}
const_iterator end() const {}
protected:
//Vec中得初始值
//Vec中得结束值
//Vec中空间分配的结束值
std::allocator&T& //注意此处std
//创造函数,负责内存管理
void create();
void create(size_type,const T&);
void create(const_iterator,const_iterator);
//销毁元素,返回内存
void uncreate();
//支持push_back函数
void grow();
void unchecked_append(const T&);
#include &iostream&
#include "Vec.h"
//#pragma comment(lib,"ws2_32.lib")
//拷贝构造函数
template &class T&
Vec&T&& Vec&T&::operator=(const Vec& v)
if (&v!=this) //检查是否为自我赋值,很重要,必须有
uncreate(); //清空左值的元素
create(v.begin(),v.end()); //拷贝元素到左值
//push_back函数中内存增长策略函数
template &class T&
void Vec&T&::grow()
size_type new_size=max(2*(limit-data),ptrdiff_t(1)); //防止刚开始内存空间为0的情况
iterator new_data=alloc.allocate(new_size); //返回首地址
//把前两个参数指定的元素复制给第三个参数表示的目标序列,返回末尾元素的下一个迭代器
iterator new_avail=uninitialized_copy(data,avail,new_data);
uncreate(); //释放原先的空间
avail=new_
limit=data+new_
//向申请的内存中添加元素
template &class T&
void Vec&T&::unchecked_append(const T& val)
//在未初始化的空间构建一个对象,参数1插入对象的位置指针,参数2需要添加的对象
alloc.construct(avail++,val);
//申请内存的函数create
template &class T&
void Vec&T&::create()
data=avail=limit=0;
template &class T&
void Vec&T&::create(size_type n,const T& val)
data=alloc.allocate(n); //申请内存空间,但是不初始化
limit=avail=data+n;
uninitialized_fill(data,limit,val); //进行初始化
template &class T&
void Vec&T&::create(const_iterator i,const_iterator j)
data=alloc.allocate(j-i);
limit=avail=uninitialized_copy(i,j,data);
//回收内存
template &class T&
void Vec&T&::uncreate()
if (data) //如果data是0,我们不需要做什么工作
iterator it=
while (it!=data)
alloc.destroy(--it); //销毁没个元素,为了与delete行为一致,采用从后向前遍历
alloc.deallocate(data,limit-data); //内存释放,函数需要一个非零指针
//因此,检测data是否为零
data=limit=avail=0;
//// 测试的main函数
#include &iostream&
#include "Vec.h"
int main()
a.push_back(12);
结果编译后出现下面错误:
1&------ 已启动生成: 项目: Accelerated, 配置: Debug Win32 ------ 1&正在编译... 1&Vec.cpp 1&Vec_example.cpp 1&正在生成代码... 1&正在链接... 1&Vec_example.obj : error LNK2001: 无法解析的外部符号 "public: class Vec&int& & __thiscall Vec&int&::operator=(class Vec&int& const &)" (??4?$Vec@H@@QAEAAV0@ABV0@@Z) 1&Vec_example.obj : error LNK2001: 无法解析的外部符号 "private: void __thiscall Vec&int&::create(void)" (?create@?$Vec@H@@AAEXXZ) 1&Vec_example.obj : error LNK2001: 无法解析的外部符号 "private: void __thiscall Vec&int&::uncreate(void)" (?uncreate@?$Vec@H@@AAEXXZ) 1&Vec_example.obj : error LNK2001: 无法解析的外部符号 "private: void __thiscall Vec&int&::unchecked_append(int const &)" (?unchecked_append@?$Vec@H@@AAEXABH@Z) 1&Vec_example.obj : error LNK2001: 无法解析的外部符号 "private: void __thiscall Vec&int&::grow(void)" (?grow@?$Vec@H@@AAEXXZ) 1&E:\360data\重要数据\我的文档\Visual Studio 2008\Projects\Accelerated\Debug\Accelerated.exe : fatal error LNK1120: 5 个无法解析的外部命令 1&生成日志保存在&file://e:\360data\重要数据\我的文档\Visual Studio 2008\Projects\Accelerated\Accelerated\Debug\BuildLog.htm& 1&Accelerated - 6 个错误,0 个警告 ========== 生成: 成功 0 个,失败 1 个,最新 0 个,跳过 0 个 ==========
上面问题不知道怎么解决,就开始google解决方案: 模板不支持分离编译, 把你模板类的声明和实现放到.h文件里面 。按照这个说的把.h和.cpp文件合并后,果然可以了。
但是为什么呢,为什么模板就不支持分离编译?---继续google ing
搜到了如下文章(文章原文链接:):
首先,一个编译单元(translation unit)是指一个.cpp文件以及它所#include的所有.h文件,.h文件里的代码将会被扩展到包含它的.cpp文件里,然后编译器编译该.cpp文件为一个.obj文件(假定我们的平台是win32),后者拥有PE(Portable Executable,即windows可执行文件)文件格式,并且本身包含的就已经是二进制码,但是不一定能够执行,因为并不保证其中一定有main函数。当编译器将一个工程里的所有.cpp文件以分离的方式编译完毕后,再由连接器(linker)进行连接成为一个.exe文件。
举个例子:
//---------------test.h-------------------//
void f();//这里声明一个函数f
//---------------test.cpp--------------//
#include&test.h&
&//do something
} //这里实现出test.h中声明的f函数
//---------------main.cpp--------------//
#include&test.h&
int main()
f(); //调用f,f具有外部连接类型
在这个例子中,test. cpp和main.cpp各自被编译成不同的.obj文件(姑且命名为test.obj和main.obj),在main.cpp中,调用了f函数,然而当编译器编译main.cpp时,它所仅仅知道的只是main.cpp中所包含的test.h文件中的一个关于void f();的声明,所以,编译器将这里的f看作外部连接类型,即认为它的函数实现代码在另一个.obj文件中,本例也就是test.obj,也就是说,main.obj中实际没有关于f函数的哪怕一行二进制代码,而这些代码实际存在于test.cpp所编译成的test.obj中。在main.obj中对f的调用只会生成一行call指令,像这样:
call f [C++中这个名字当然是经过mangling[处理]过的]
在编译时,这个call指令显然是错误的,因为main.obj中并无一行f的实现代码。那怎么办呢?这就是连接器的任务,连接器负责在其它的.obj中(本例为test.obj)寻找f的实现代码,找到以后将call f这个指令的调用地址换成实际的f的函数进入点地址。需要注意的是:连接器实际上将工程里的.obj&连接&成了一个.exe文件,而它最关键的任务就是上面说的,寻找一个外部连接符号在另一个.obj中的地址,然后替换原来的&虚假&地址。
这个过程如果说的更深入就是:
call f这行指令其实并不是这样的,它实际上是所谓的stub,也就是一个jmp 0xABCDEF。这个地址可能是任意的,然而关键是这个地址上有一行指令来进行真正的call f动作。也就是说,这个.obj文件里面所有对f的调用都jmp向同一个地址,在后者那儿才真正&call&f。这样做的好处就是连接器修改地址时只要对后者的call XXX地址作改动就行了。但是,连接器是如何找到f的实际地址的呢(在本例中这处于test.obj中),因为.obj与.exe的格式是一样的,在这样的文件中有一个符号导入表和符号导出表(import table和export table)其中将所有符号和它们的地址关联起来。这样连接器只要在test.obj的符号导出表中寻找符号f(当然C++对f作了mangling)的地址就行了,然后作一些偏移量处理后(因为是将两个.obj文件合并,当然地址会有一定的偏移,这个连接器清楚)写入main.obj中的符号导入表中f所占有的那一项即可。
这就是大概的过程。其中关键就是:
编译main.cpp时,编译器不知道f的实现,所以当碰到对它的调用时只是给出一个指示,指示连接器应该为它寻找f的实现体。这也就是说main.obj中没有关于f的任何一行二进制代码。
编译test.cpp时,编译器找到了f的实现。于是乎f的实现(二进制代码)出现在test.obj里。
连接时,连接器在test.obj中找到f的实现代码(二进制)的地址(通过符号导出表)。然后将main.obj中悬而未决的call XXX地址改成f实际的地址。完成。
然而,对于模板,你知道,模板函数的代码其实并不能直接编译成二进制代码,其中要有一个&实例化&的过程。举个例子:
//----------main.cpp------//
template&class T&
void f(T t)
int main()
&//do something
f(10); // call f&int& 编译器在这里决定给f一个f&int&的实例
&//do other thing
也就是说,如果你在main.cpp文件中没有调用过f,f也就得不到实例化,从而main.obj中也就没有关于f的任意一行二进制代码!如果你这样调用了:
f(10); // f&int&得以实例化出来
f(10.0); // f&double&得以实例化出来
这样main.obj中也就有了f&int&,f&double&两个函数的二进制代码段。以此类推。
然而实例化要求编译器知道模板的定义,不是吗?
看下面的例子(将模板的声明和实现分离):
//-------------test.h----------------//
template&class T&
void f(); // 这里只是个声明
//---------------test.cpp-------------//
#include&test.h&
template&class T&
void A&T&::f() // 模板的实现
&//do something
//---------------main.cpp---------------//
#include&test.h&
int main()
f(); // #1
编译器在#1处并不知道A&int&::f的定义,因为它不在test.h里面,于是编译器只好寄希望于连接器,希望它能够在其他.obj里面找到A&int&::f的实例,在本例中就是test.obj,然而,后者中真有A&int&::f的二进制代码吗?NO!!!因为C++标准明确表示,当一个模板不被用到的时侯它就不该被实例化出来,test.cpp中用到了A&int&::f了吗?没有!!所以实际上test.cpp编译出来的test.obj文件中关于A::f一行二进制代码也没有,于是连接器就傻眼了,只好给出一个连接错误。但是,如果在test.cpp中写一个函数,其中调用A&int&::f,则编译器会将其实例化出来,因为在这个点上(test.cpp中),编译器知道模板的定义,所以能够实例化,于是,test.obj的符号导出表中就有了A&int&::f这个符号的地址,于是连接器就能够完成任务。
关键是:在分离式编译的环境下,编译器编译某一个.cpp文件时并不知道另一个.cpp文件的存在,也不会去查找(当遇到未决符号时它会寄希望于连接器)。这种模式在没有模板的情况下运行良好,但遇到模板时就傻眼了,因为模板仅在需要的时候才会实例化出来,所以,当编译器只看到模板的声明时,它不能实例化该模板,只能创建一个具有外部连接的符号并期待连接器能够将符号的地址决议出来。然而当实现该模板的.cpp文件中没有用到模板的实例时,编译器懒得去实例化,所以,整个工程的.obj中就找不到一行模板实例的二进制代码,于是连接器也黔驴技穷了。
阅读(...) 评论()中国领先的IT技术网站
51CTO旗下网站
Linux下编译时出现的错误及解决方法
(1)由于是Linux新手,所以现在才开始接触线程编程,照着GUN/Linux编程指南中的一个例子输入编译,结果出现如下错误......
作者:chinaitlab来源:chinaitlab| 10:31
(1)由于是Linux新手,所以现在才开始接触线程编程,照着GUN/Linux编程指南中的一个例子输入编译,结果出现如下错误:
undefined reference to 'pthread_create'
undefined reference to 'pthread_join'
问题原因:
pthread 库不是 Linux 系统默认的库,连接时需要使用静态库 libpthread.a,所以在使用pthread_create()创建线程,以及调用 pthread_atfork()函数建立fork处理程序时,需要链接该库。
问题解决:
在编译中要加 -lpthread参数
gcc& -o thread thread.c -lpthread
thread.c为你些的源文件,不要忘了加上头文件#include&pthread.h&
(2)出现警告:内建函数strlen不兼容的隐式声明,内建函数exit不兼容的隐式声明
问题原因:因为函数strlen在string内,exit在stdlib内。在文件中没有添加头文件 string.h和stdlib
问题解决:在文件中添加头文件 string.h和stdlib
(3)出现错误:sem_union的存储大小未知
问题原因:在新版2.6内核中关于union sem_union 这个联合体已经被注释了,需要自己写这个联合体
问题解决:在C文件中先定义
union semun {&& struct semid_ds& *& unsigned short *}& sem_
随后编译时它就能找到预先定义好的sem_union联合体了。
【编辑推荐】
【责任编辑: TEL:(010)】
大家都在看猜你喜欢
头条头条头条头条原创
24H热文一周话题本月最赞
讲师:92486人学习过
讲师:97035人学习过
讲师:33650人学习过
精选博文论坛热帖下载排行
本书是一本介绍Windows系统上的用户态程序排错方法和技巧的书。本书分为4个章节,先介绍最重要的、通用的思考方法,以便制定排错步骤;再介...
订阅51CTO邮刊查看: 6039|回复: 9
KEIL函数编译出现的“错误”和“警告”内容冲突
主题帖子精华
初级会员, 积分 185, 距离下一级还需 15 积分
在线时间3 小时
..\Bsp\bsp.h(9): error: &#114: function "Systick_init" was referenced but not defined
..\Bsp\delay\delay.c(5): warning: &#177-D: function "Systick_init" was declared but never referenced
错误说我引用但没定义,但警告说我定义却没引用,都是说同一条函数啊,坑爹,keil都知道我定义了,还说我错
什么问题啊?
重启电脑也没解决,望各位指教!
Love life, love the electrons!
主题帖子精华
金钱113759
在线时间839 小时
在bsp.h里面的Systick_init前加多一个extern关键字看看吧.
我是开源电子网站长,有关站务问题请与我联系。
正点原子STM32开发板购买店铺:
微信公众平台:正点原子& &
主题帖子精华
初级会员, 积分 185, 距离下一级还需 15 积分
在线时间3 小时
回复【2楼】正点原子:
---------------------------------
不行,还是错误!我怀疑是KEIL软件不稳定导致的!
Love life, love the electrons!
主题帖子精华
金牌会员, 积分 1922, 距离下一级还需 1078 积分
在线时间116 小时
如果实体使用了static关键字,就可以实现这个报错.
技术讨论请发帖 , 需要我回复请点左下的
让系统通知我 .
本人不通过其他方式返回任何参数.
主题帖子精华
初级会员, 积分 185, 距离下一级还需 15 积分
在线时间3 小时
回复【4楼】shihantu:
---------------------------------
听你说的,我把static去掉就没报错了!谢谢!
Love life, love the electrons!
主题帖子精华
初级会员, 积分 185, 距离下一级还需 15 积分
在线时间3 小时
回复【4楼】shihantu:
---------------------------------
为什么是去掉static就没报错?这个搞不懂!
Love life, love the electrons!
主题帖子精华
高级会员, 积分 649, 距离下一级还需 351 积分
在线时间1 小时
编译器一半不会错。但是偶尔我还真遇到过这傻货编译器反馈回的错误信息。比如上次。我往BUF【0】里放了个0xF0;单步调试看到显示框显示的是我的0XF0放到了BUF[1];可我明明放的是BUF0的位置。于是我又写了一条读取BUF0和BUF1。结果你猜怎么着。。BUF0里就是读出来是0XF0;BUF1里什么也没有。是0x00;所以说。编译器有问题也是正常的。。
具有资深STM32点灯技术,
主题帖子精华
金牌会员, 积分 1922, 距离下一级还需 1078 积分
在线时间116 小时
回复【6楼】口天土立口:
---------------------------------
static声明是作用域外不可以引用的.外部引用找不到了会error.
作用域内没有被引用,会warning.
回复【7楼】敌害:
---------------------------------
读出来正确就说明不是编译器问题,这个问题有两种可能,一个是栈变量前面有长度不确定的变量,一个是生成的axf有问题,但这不是编译器的事,可能是链接器的问题,可能是仿真工具有问题.
技术讨论请发帖 , 需要我回复请点左下的
让系统通知我 .
本人不通过其他方式返回任何参数.
主题帖子精华
金牌会员, 积分 1815, 距离下一级还需 1185 积分
在线时间305 小时
回复【4楼】shihantu:
---------------------------------
为什么是去掉static就没报错?这个搞不懂!
为了防止同名函数,这样声明后,本函数名作用域,只限于本文档
认真做好笔记....
主题帖子精华
金牌会员, 积分 1815, 距离下一级还需 1185 积分
在线时间305 小时
回复【4楼】shihantu:
---------------------------------
为什么是去掉static就没报错?这个搞不懂!
在C语言里面,没有重载一说,如果两个地方出现同名函数,会冲突,一个开发团队的人,可以搞一个项目时,会遇到这样,为了防止别人和自己都用同一个名称,所以用static将自己写的函数名限制在自己的那个文档里面
认真做好笔记....
Powered by

我要回帖

更多关于 创建的包带有编译错误 的文章

 

随机推荐