anonymous namespace 匿名namespace的作用以及它与static的区别

2023-12-03 22:08

本文主要是介绍anonymous namespace 匿名namespace的作用以及它与static的区别,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

转自:http://blog.csdn.net/pizi0475/article/details/5540535

一。匿名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的

限制,是不能用来实例化模板的!


实例:

#include <iostream>
#include <cstdio>
#include "./head2.h"
//#include "../test2/head1.h"
using namespace std;template <char* p>
struct foo{void bar(){puts("foo_bar");}
};static char a = 'a';
namespace {char b = 'b';static char c = 'c';template<class T>struct xxx{void dis(){puts("anonymous_xxx_dis");};};void foobar(){struct no_linkage{};xxx<no_linkage>().dis();}
}int main(){//foo <&a>().bar();//CE: a internal linkagefoo <&b>().bar(); // succeed: b external linkage//foo <&c>().bar();//CE: c internal linkagefoobar();return 0;
}


这篇关于anonymous namespace 匿名namespace的作用以及它与static的区别的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/451040

相关文章

native和static native区别

本文基于Hello JNI  如有疑惑,请看之前几篇文章。 native 与 static native java中 public native String helloJni();public native static String helloJniStatic();1212 JNI中 JNIEXPORT jstring JNICALL Java_com_test_g

Android fill_parent、match_parent、wrap_content三者的作用及区别

这三个属性都是用来适应视图的水平或者垂直大小,以视图的内容或尺寸为基础的布局,比精确的指定视图的范围更加方便。 1、fill_parent 设置一个视图的布局为fill_parent将强制性的使视图扩展至它父元素的大小 2、match_parent 和fill_parent一样,从字面上的意思match_parent更贴切一些,于是从2.2开始,两个属性都可以使用,但2.3版本以后的建议使

Collection List Set Map的区别和联系

Collection List Set Map的区别和联系 这些都代表了Java中的集合,这里主要从其元素是否有序,是否可重复来进行区别记忆,以便恰当地使用,当然还存在同步方面的差异,见上一篇相关文章。 有序否 允许元素重复否 Collection 否 是 List 是 是 Set AbstractSet 否

javascript中break与continue的区别

在javascript中,break是结束整个循环,break下面的语句不再执行了 for(let i=1;i<=5;i++){if(i===3){break}document.write(i) } 上面的代码中,当i=1时,执行打印输出语句,当i=2时,执行打印输出语句,当i=3时,遇到break了,整个循环就结束了。 执行结果是12 continue语句是停止当前循环,返回从头开始。

maven发布项目到私服-snapshot快照库和release发布库的区别和作用及maven常用命令

maven发布项目到私服-snapshot快照库和release发布库的区别和作用及maven常用命令 在日常的工作中由于各种原因,会出现这样一种情况,某些项目并没有打包至mvnrepository。如果采用原始直接打包放到lib目录的方式进行处理,便对项目的管理带来一些不必要的麻烦。例如版本升级后需要重新打包并,替换原有jar包等等一些额外的工作量和麻烦。为了避免这些不必要的麻烦,通常我们

ActiveMQ—Queue与Topic区别

Queue与Topic区别 转自:http://blog.csdn.net/qq_21033663/article/details/52458305 队列(Queue)和主题(Topic)是JMS支持的两种消息传递模型:         1、点对点(point-to-point,简称PTP)Queue消息传递模型:         通过该消息传递模型,一个应用程序(即消息生产者)可以

深入探讨:ECMAScript与JavaScript的区别

在前端开发的世界中,JavaScript无疑是最受欢迎的编程语言之一。然而,很多开发者在使用JavaScript时,可能并不清楚ECMAScript与JavaScript之间的关系和区别。本文将深入探讨这两者的不同之处,并通过案例帮助大家更好地理解。 一、什么是ECMAScript? ECMAScript(简称ES)是一种脚本语言的标准,由ECMA国际组织制定。它定义了语言的语法、类型、语句、

Lua 脚本在 Redis 中执行时的原子性以及与redis的事务的区别

在 Redis 中,Lua 脚本具有原子性是因为 Redis 保证在执行脚本时,脚本中的所有操作都会被当作一个不可分割的整体。具体来说,Redis 使用单线程的执行模型来处理命令,因此当 Lua 脚本在 Redis 中执行时,不会有其他命令打断脚本的执行过程。脚本中的所有操作都将连续执行,直到脚本执行完成后,Redis 才会继续处理其他客户端的请求。 Lua 脚本在 Redis 中原子性的原因

java线程深度解析(一)——java new 接口?匿名内部类给你答案

http://blog.csdn.net/daybreak1209/article/details/51305477 一、内部类 1、内部类初识 一般,一个类里主要包含类的方法和属性,但在Java中还提出在类中继续定义类(内部类)的概念。 内部类的定义:类的内部定义类 先来看一个实例 [html]  view plain copy pu

未来工作趋势:零工小程序在共享经济中的作用

经济在不断发展的同时,科技也在飞速发展。零工经济作为一种新兴的工作模式,正在全球范围内迅速崛起。特别是在中国,随着数字经济的蓬勃发展和共享经济模式的深入推广,零工小程序在促进就业、提升资源利用效率方面显示出了巨大的潜力和价值。 一、零工经济的定义及现状 零工经济是指通过临时性、自由职业或项目制的工作形式,利用互联网平台快速匹配供需双方的新型经济模式。这种模式打破了传统全职工作的界限,为劳动