blocks|key|1891150|text|同样，任何模板定义都不会破坏ODR+--+ODR明确指出，只要模板定义确实是重复的(而且，由于它们是重复的，因此不可能发生冲突或歧义)，模板定义就可以跨翻译单元重复。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1891151|[C%2B%2B14:+3.2/6]:可以有多个类类型的定义(第9条)、枚举类型(7.2)、带外部链接的内联函数(7.1.2)、类模板(第14条)、非静态函数模板(14.5.6)、类模板的静态数据成员(14.5.1.3)、类模板的成员函数(14.5.1.1)或程序中未指定某些模板参数的模板专门化(14.7、14.5.5)，只要每个定义出现在不同的转换单元中，并提供满足以下要求的定义。|blockquote|offset|length|style|CODE|1891152|在同一个翻译单元中包含<vector>的多个内容是明确允许的，并且有效地被省略，这很可能是由"#ifndef“头保护器完成的。|1891153|entityMap^0|0|0|F|0|B|8|1B|7|0^^$0|@$1|2|3|4|5|6|7|M|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|N|8|@$E|O|F|P|G|H]]|9|@]|A|$]]|$1|I|3|J|5|6|7|Q|8|@$E|R|F|S|G|H]|$E|T|F|U|G|H]]|9|@]|A|$]]|$1|K|3|-4|5|6|7|V|8|@]|9|@]|A|$]]]|L|$]]

The same way any template definitions don't break the ODR &mdash; the ODR specifically says that template definitions may be duplicated across translation units, as long as they are literally duplicates (and, since they are duplicates, no conflict or ambiguity is possible).

<blockquote>
 <code>[C++14: 3.2/6]:</code> There can be more than one definition of a class type (Clause 9), enumeration type (7.2), inline function with external linkage (7.1.2), class template (Clause 14), non-static function template (14.5.6), static data member of a class template (14.5.1.3), member function of a class template (14.5.1.1), or template specialization for which some template parameters are not specified (14.7, 14.5.5) in a program provided that each definition appears in a different translation unit, and provided the definitions satisfy the following requirements [..]
</blockquote>

Multiple inclusions of <code>&lt;vector&gt;</code> within the same translation unit are expressly permitted and effectively elided, more than likely by "<code>#ifndef</code>" header guards.

blocks|key|3760976|text|ODR没有声明一个结构只会在所有编译单元中被声明一次--它指出，如果您在多个编译单元中声明一个结构，那么它必须是同一个结构。如果您有两个名称相同但内容不同的vector类型，就违反了ODR。在这一点上，链接器会被混淆，而您会混淆代码和/或错误。|type|unstyled|depth|inlineStyleRanges|offset|length|style|CODE|entityRanges|data|3760977|entityMap^0|26|6|0^^$0|@$1|2|3|4|5|6|7|H|8|@$9|I|A|J|B|C]]|D|@]|E|$]]|$1|F|3|-4|5|6|7|K|8|@]|D|@]|E|$]]]|G|$]]

The ODR doesn't state that a struct will only be declared one time across all compilation units--it states that if you declare a struct in multiple compilation units, it has to be the same struct. Violating the ODR would be if you had two separate <code>vector</code> types with the same name but different contents. At that point the linker would get confused and you'd get mixed up code and/or errors.

blocks|key|3760985|text|该标准对模板有一个特殊的例外，该模板允许重复功能，否则会违反ODR+(例如具有外部链接和非内联成员函数的函数)。来自C%2B%2B11+3.2/5：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|3760986|如果D是一个模板，并且定义在多个翻译单元中，那么上述要求既应适用于模板定义(14.6.3)中使用的模板的包围作用域中的名称，也应适用于实例化点上的依赖名称(14.6.2)。如果D的定义满足所有这些要求，则程序应表现为有一个D的单一定义。如果D的定义不满足这些要求，则行为是未定义的。|blockquote|offset|length|style|BOLD|3760987|entityMap^0|0|2U|A|0^^$0|@$1|2|3|4|5|6|7|K|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|L|8|@$E|M|F|N|G|H]]|9|@]|A|$]]|$1|I|3|-4|5|6|7|O|8|@]|9|@]|A|$]]]|J|$]]

The standard has a special exception for templates that allows for duplication of functions that otherwise would violate ODR (such as functions with external linkage and non-inline member functions). from C++11 3.2/5:

<blockquote>
 If D is a template and is defined in more than one translation unit,
 then the preceding requirements shall apply both to names from the
 template’s enclosing scope used in the template definition (14.6.3),
 and also to dependent names at the point of instantiation (14.6.2). If
 the definitions of D satisfy all these requirements, then the program
 shall behave as if there were a single definition of D. If the
 definitions of D do not satisfy these requirements, then the behavior
 is undefined.
</blockquote>

Maybe its lame question, But I don't get it!
If I include <code>&lt;string&gt;</code> or <code>&lt;vector&gt;</code> in multiple translation units (different .cpp) why it doesn't break the ODR?
As far as I know each .cpp is compiled differently so vector's methods code will be generated for each object file separately, right?
So linker should detect it and complain.
Even If it won't (I suspect it's special case for templates) will it be using one code or different set of cloned code in each unit, when I link all together???

Why C++'s <vector> templated class doesn't break one definition rule?

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

也许这是个蹩脚的问题，但我不明白！如果我将<string>或<vector>包含在多个翻译单元(不同的.cpp)中，为什么它不破坏ODR？据我所知，每个.cpp都是不同的编译方式，因此向量的方法代码将分别为每个对象文件生成，对吗？所以链接者应该发现它并抱怨。即使不会(我怀疑这是模板的特例)，当我将所有的代码链接在一起时...

问为什么C++的<vector>模板类不违反一个定义规则？
EN

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问为什么C++的<vector>模板类不违反一个定义规则？EN