ISO/IEC 9899:2011 条款6.9——外部定义
2016-01-11 02:09
225 查看
[b]6.9 外部定义[/b]
语法
1、translation-unit:
external-declaration
translation-unit external-declaration
external-declaration:
function-definition
declaration
约束
2、存储类说明符auto与register不应该出现在一个外部声明中的声明说明符中。
3、在一个翻译单元中,每个标识符不应该有多于一个外部定义。此外,如果用内部连接声明的一个标识符用在一个表达式中(而不是作为sizeof或_Alignof操作符的操作数的一部分,其结果是一个整数常量),在翻译单元中,对标识符应该恰好有一个外部定义。
语义
4、正如在5.1.1.1中所讨论的,在预处理之后的程序文本单元是一个翻译单元,它由一系列的外部声明组成。这些被描述为“外部”,因为它们在任一函数的外部出现(并从而具有文件作用域)。正如在6.7中所讨论的,一个声明也使得为一个通过该标识符来命名的对象或函数所保留的存储,是一个定义。
5、一个外部定义是一个外部声明,它也是一个函数或对象的一个定义(除了一个内联定义)。如果一个用外部连接声明的一个标识符用在一个表达式中(而不是作为一个sizeof或_Alignof操作符的操作数的一部分,其结果是一个整数常量),那么在整个程序中的某个地方,应该对于该标识符恰好有一个外部定义;否则,不应该有对于一个外部定义。[注:从而,如果用外部连接声明的一个标识符没有用在一个表达式中,那么对它不需要有外部定义。]
6.9.1 函数定义
6.9.2 外部对象定义
语法
1、translation-unit:
external-declaration
translation-unit external-declaration
external-declaration:
function-definition
declaration
约束
2、存储类说明符auto与register不应该出现在一个外部声明中的声明说明符中。
3、在一个翻译单元中,每个标识符不应该有多于一个外部定义。此外,如果用内部连接声明的一个标识符用在一个表达式中(而不是作为sizeof或_Alignof操作符的操作数的一部分,其结果是一个整数常量),在翻译单元中,对标识符应该恰好有一个外部定义。
语义
4、正如在5.1.1.1中所讨论的,在预处理之后的程序文本单元是一个翻译单元,它由一系列的外部声明组成。这些被描述为“外部”,因为它们在任一函数的外部出现(并从而具有文件作用域)。正如在6.7中所讨论的,一个声明也使得为一个通过该标识符来命名的对象或函数所保留的存储,是一个定义。
5、一个外部定义是一个外部声明,它也是一个函数或对象的一个定义(除了一个内联定义)。如果一个用外部连接声明的一个标识符用在一个表达式中(而不是作为一个sizeof或_Alignof操作符的操作数的一部分,其结果是一个整数常量),那么在整个程序中的某个地方,应该对于该标识符恰好有一个外部定义;否则,不应该有对于一个外部定义。[注:从而,如果用外部连接声明的一个标识符没有用在一个表达式中,那么对它不需要有外部定义。]
6.9.1 函数定义
6.9.2 外部对象定义
相关文章推荐
- BrocastReceiver初阶
- navigationBar上的一些操作
- C语言-十进制转二进输出
- Facebook POP 进阶指南
- 《C语言及程序设计初步》第33讲实践项目
- LeetCode Shortest Palindrome
- 6-子查询理解
- 视图的运行顺序及生命周期
- 如何正确地写好一个界面
- 人生就像是一段程序
- C++11多线程简单示例
- (一〇九)单独编译(多个源代码文件和头文件)
- ImageView中Bitmap的回收
- LeetCode Word Search II
- 文章标题
- 多线程临界区
- pxe 简介以及 cobbler安装配置自动化
- leetcode笔记:Pascal's Triangle
- 自定义注解以及反射得到当前的调用方法
- 软件工程总结(添加自己提出的问题)