转:C++ 匿名namespace的作用以及它与static的区别
匿名namespace的作用以及它与static的区别
一。匿名namespace的作用
在C语言中,如果我们在多个tu(translation unit)中使用了同一个名字做
为函数名或者全局变量名,则在链接阶段就会发生重定义错误,为了解决这个
问题,我们可以在定义这些标识符(identifier)的时候加上static关键字修
饰以限制它只在一个tu范围内可见。
C++继承了C语言中static关键字的这个用途,我们依旧可以使用static来避免
多个tu中使用同一个标识符带来的重定义问题。此外C++还提供了另一种特有
的方式,那就是匿名namespace:一个没有指定名字的namespace被称为一个匿
名namespace;在一个tu中可以出现多个匿名namespace,并且相同层次的匿名
namespace实际上被合成为同一个;出现在不同tu的匿名namespace中的相同标
识符相互独立不会发生冲突,因此我们可以把那些只希望在同一个tu范围可见
的全局标识符放入一个匿名namespace中,效果与前面加static相同。
二。匿名namespace与static的区别
一个全局标识符被static修饰后它的linkage变为internal linkage,这就是
为什么不同tu中的相同标识符不会发生冲突的原因。
而匿名namespace却并不会改变在它内部定义的标识符的linkage,它用来避免
名字冲突所采用的手段同C++用来实现重载的手段一摸一样,就是使用名字改
编(name mangling):根据C++标准7.3.1.1,每个tu中的匿名namespace实际
上会拥有一个独一无二的名字,因此在不同tu的匿名namespace中相同的标识
符实际上属于不同的namespace,自然在名字改编后就不会发生冲突了:
[quote
7.3.1.1 Unnamed namespaces [namespace.unnamed]
An unnamed-namespace-definition behaves as if it were replaced by
namespace unique { /* empty body */ }
using namespace unique;
namespace unique { namespace-body }
where all occurrences of unique in a translation unit are replaced
by the same identifier and this identifier differs from all other
identifiers in the entire program.
end quote]
为什么匿名namespace不采取跟static一样的做法呢,搞个新花样岂不是增加
了编译器开发的负担?这其实是因为另一个C++的特性牵制了匿名namespace的
实现,那就是模板非类型参数(template non-type arguments):
[quote
14.3.2 Template non-type arguments [temp.arg.nontype]
A template-argument for a non-type, non-template template-parameter
shall be one of:
— an integral constant-expression of integral or enumeration type; or
— the name of a non-type template-parameter; or
— the address of an object or function with external linkage, including
function templates and function template-ids but excluding non-static
class members, expressed as & id-expression where the & is optional
if the name refers to a function or array, or if the corresponding
template-parameter is a reference; or
— a pointer to member expressed as described in 5.3.1 .
end quote]
正是被红字标出的external linkage这一需求限制了匿名namespace的实现!
试想一下,假如我们有一个全局对象或者函数只希望它在一个tu中有效,又
希望能够用它的地址来实例化一个模板,怎么办?只在一个tu中有效,可以
选择internal linkage,但是要用它的地址做为模板参数,又要求它必须要
是external linkage!!
很显然,匿名namespace不改变其内部标识符的linkage这一性质解决了这一
难题,我们可以把这个全局对象或者函数放心的扔在一个匿名namespace中,
然后用它的地址来实例化一个模板,绝对不会发生重定义错误:)
现在大部分C++书籍都认为匿名namespace和static是相同的,而正如这里所阐
述的,它们之间差异是明显的:static修饰的标识符由于internal linkage的
限制,是不能用来实例化模板的!
最后给出一个例子证实匿名namespace确实不改变linkage,呵呵
代码中验证了external linkage/internal linkage/no linkage三种情况
---------------------------------------------------------
template <char *p>
struct foo
{
void bar();
};
static char a ='a';
namespace
{
char b = 'b';
static char c = 'c';
template <class T> struct xxx {};
void foobar()
{
struct no_linkage {};
xxx<no_linkage>(); // 如果编译错误,说明no_linkage的linkage没有变化
}
}
int main()
{
foo<&a>().bar(); // 由于a的linkage是internal,因此应该编译错误
foo<&b>().bar(); // 如果编译正确,说明b的linkage是external
foo<&c>().bar(); // 如果编译错误,说明c的linkage是internal
foobar();
return 0;
}
---------------------------------------------------------
Comeau C/C++ 4.3.3 (Aug 6 2003 15:13:37) for ONLINE_EVALUATION_BETA1
Copyright 1988-2003 Comeau Computing. All rights reserved.
MODE:strict errors C++
"ComeauTest.c", line 19: error: a template argument may not reference a
local type
xxx<no_linkage>();
^
^
"ComeauTest.c", line 25: error: a template argument may not reference a
non-external entity
Hint: http://www.comeaucomputing.com/techtalk/templates/#stringliteral
foo<&a>().bar();
^
"ComeauTest.c", line 27: error: a template argument may not reference a
non-external entity
Hint: http://www.comeaucomputing.com/techtalk/templates/#stringliteral
foo<&c>().bar();
^
3 errors detected in the compilation of "ComeauTest.c".
转:C++ 匿名namespace的作用以及它与static的区别的更多相关文章
- C++ 匿名namespace的作用以及与static的区别
匿名namespace的作用以及它与static的区别 一.匿名namespace的作用 在C语言中,如果我们在多个tu(translation unit)中使用了同一个名字做 为函数名或者全局变量名 ...
- 【转】利用匿名namespace解决C++中重复定义的问题
目录 利用匿名namespace解决C++中重复定义的问题 原文:https://blog.csdn.net/pi9nc/article/details/11267031 利用匿名namespace解 ...
- C++命名空间 namespace的作用和使用解析
一. 为什么需要命名空间(问题提出) 命名空间是ANSIC++引入的可以由用户命名的作用域,用来处理程序中 常见的同名冲突. 在 C语言中定义了3个层次的作用域,即文件(编译单元).函数和复合语句.C ...
- 【转】C++命名空间 namespace的作用和使用解析
一. 为什么需要命名空间(问题提出) 命名空间是ANSIC++引入的可以由用户命名的作用域,用来处理程序中 常见的同名冲突. 在 C语言中定义了3个层次的作用域,即文件(编译单元).函数和复合语句.C ...
- 46. Ext中namespace的作用(转)
转自:https://www.cnblogs.com/givemeanorange/p/5569954.html Ext中在每一个页面中添加一个namespace呢,就像下面的代码: // creat ...
- namespace 的作用
在写CPP的时候,常常要写using namespace std;这么一句话,到底有什么用呢? #include <iostream> namespace first { ; } name ...
- C++ namespace的作用
namespace:命名空间或者叫名字空间,传统的c++只有一个全局的namespace,但是由于现在的程序规模越来越大,程序的分工越来越细,全局作用域就变得越来越拥挤,每个人都可能使用相同的名字来实 ...
- namespace的作用
namespace的用法 1.什么是命名空间 通常我们学c++的时候经常看见头文件下有一句using namespace std,有什么用呢? 例如: #include<iostream> ...
- namespace的作用及用法
namespace 所谓namespace,是指标识符的可见范围.C++标准库中的所有标识符都被定义在一个名为 std 的namespace 中. 一.<iostream>和<ios ...
随机推荐
- oracle,如何查看视图结构,获得视图中的字段名称、字段类型、字段长度等。
需要获得一个视图中的字段名称.字段类型.字段长度等信息,该如何编写sql语句.通过select * from user_views可以获得给定用户下所有的视图名称了,但是没找到如何获取视图结构的解决方 ...
- xp的停止更新对我们有什么影响?
微软与2001年推出windows xp系统,这款系统的成功毋庸置疑,但由于太过成功,微软在随后推出的vista系统和win7系统普及起来却异常困难.大多数人已经习惯了xp的操作,再加上一批铁杆旧电脑 ...
- eclipse编译错误
ERROR: JDWP Unable to get JNI 1.2 environment, jvm->GetEnv() return code = -2 JDWP exit error AGE ...
- 转: sublime text常用插件和快捷键
Sublime Text 2是一个轻量.简洁.高效.跨平台的编辑器.博主之前一直用notepdd++写前端代码,用得也挺顺手了,早就听说sublime的大名,一直也懒得去试试看,认为都是工具用着顺手就 ...
- nvarchar and nchar
Same: 1.store unicode charactor. 2. A charactor is stroed with 2 bytes. Different. 1. nchar 会自动填充数据 ...
- 密封关键字sealed
在两种情况下使用: ·不想让别人继承:例如public sealed class Person{}; ·不想让子类重写自己的方法 例如: public class Person{ public vis ...
- 对面向对象的理解—— SAP电面(1)
对于C++面向对象的理解 面向对象是在结构化设计方法出现很多问题的情况下应运而生的.结构化设计方法求解问题的基本策略是从功能的角度审视问题域.它将应用程序看成实现某些特定任务的功能模块,其中子过程是实 ...
- 字符串解析成easyui-tree的格式
传入的list: [30 : null : null, 301503 : null : null, 301501 : null : null, 301502 : null : null, 3015 : ...
- [LeetCode]题解(python):012-Integer to Roman
题目来源: https://leetcode.com/problems/integer-to-roman/ 题意分析: 这道题是要把在区间[1-3999]的数字转化成罗马数字. 题目思路: 只要知道了 ...
- 在Windows环境下使用MinGW编译Qt 4.8.6
1.修改环境变量工具推荐:Rapid Environment Editor.官网:http://www.rapidee.com/ 修改前请先备份当前的环境变量.然后: (1)检查系统变量path,删除 ...