草庐IT

c++ - 内部链接和无链接之间的区别

coder 2023-11-14 原文

请引用以下同翻译单元的代码:

static int global_var; // file scope in C and global namespace scope in C++
                       // internal linkage
void f(void)
{
    static int local_var; // block scope in C and local scope in C++
                          // no linkage 
}

我的理解是这样的:

  • 我可以从翻译单元的任何地方引用 global_var，因为它具有全局范围。
  • 我只能在函数 f 中引用 local_var，因为它具有局部作用域。

我的问题:

  1. 这两个变量在链式方面有什么区别？
  2. 您能否提供一个示例，说明内部和无链接会产生差异，并且差异不仅来自范围？

编辑

在 James Kanze 的回答和评论之后，我现在可以构建一个示例来显示内部链接属性和无链接属性之间的区别:

static int i; // definition
              // static storage
              // internal linkage

void f(void)
{
    extern int i; // declaration
                  // refers to the static i at file scope
                  // note that even though the specifier is extern
                  // its linkage is intern (this is legal in both C/C++)
    {
        int i; // definition
               // automatic storage
               // no linkage
    }
}


一些文章很好地解释了所涉及的概念:
- Scope regions in C and C++
- Storage class specifiers and storage duration
- Linkage in C and C++

最佳答案

第一:除了类型，变量还有另外三个 特性:链接、范围和生命周期。所有四个 属性有点正交，但以它们的方式链接 以语言表达，并以某些方式进行交互。

关于链接:链接确实影响了符号 正在声明，而不是对象本身。如果没有 链接，符号的所有声明都绑定(bind)到不同的 对象，例如:

int
func()
{
    int i;
    {
        int i;
    }
}

符号i没有链接，两个符号i是绑定(bind)的 到两个不同的实体。一般来说，局部变量 (在 block 范围内声明的变量)和函数参数有 没有链接，无论类型和生命周期如何。

内部和外部链接是相似的，重复 符号的声明绑定(bind)到同一个实体:内部 链接仅在翻译单元内绑定(bind)，外部交叉 整个程序。所以给出:

static int i;   //  internal linkage...

在几个翻译单元中，i 绑定(bind)到一个单独的实体 在每个翻译单元中。没有静电，你有外部 链接，并且所有 i 都绑定(bind)到同一个实体。

请注意，这仅适用于命名空间范围； 所有实体 属于非本地类的成员具有外部链接。

那个类型有一个影响:变量是 const 隐式具有内部链接:

int const i = 42;    //  same as static int const i...
extern int const j = 42;    //  external linkage.

最后，绑定(bind)到同一实体的所有声明必须 声明它具有相同的类型。如果您在 单个翻译单元(例如:

extern int i;
//   ...
double i;

在同一个命名空间范围内)，那么编译器应该会报错。 如果两个声明在不同的翻译单元中， 然而，这是未定义的行为，谁知道会发生什么 发生。 (理论上，链接器可能会提示，但大多数不会。)

编辑:

补充一点:联动是由第一个决定的 可以引用实体的声明。所以如果我写:

static int i;

void
func()
{
    extern int i;
}

i 指的是同一个实体，具有内部链接。 (为什么有人会写第二个声明超出了我的范围， 但这是合法的。)

关于c++ - 内部链接和无链接之间的区别，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/24864840/

amp43codeintsectionc++cscopelinkage

有关c++ - 内部链接和无链接之间的区别的更多相关文章

  1. ruby-on-rails - Rails 应用程序之间的通信 - 2

    我构建了两个需要相互通信和发送文件的Rails应用程序。例如，一个Rails应用程序会发送请求以查看其他应用程序数据库中的表。然后另一个应用程序将呈现该表的json并将其发回。我还希望一个应用程序将存储在其公共(public)目录中的文本文件发送到另一个应用程序的公共(public)目录。我从来没有做过这样的事情，所以我什至不知道从哪里开始。任何帮助，将不胜感激。谢谢! 最佳答案 无论Rails是什么，几乎所有Web应用程序都有您的要求，大多数现代Web应用程序都需要相互通信。但是有一个小小的理解需要你坚持下去，网站不应直接访问彼此

  2. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  3. ruby - 触发器 ruby​​ 中 3 点范围运算符和 2 点范围运算符的区别 - 2

    请帮助我理解范围运算符...和..之间的区别，作为Ruby中使用的“触发器”。这是PragmaticProgrammersguidetoRuby中的一个示例:a=(11..20).collect{|i|(i%4==0)..(i%3==0)?i:nil}返回:[nil,12,nil,nil,nil,16,17,18,nil,20]还有:a=(11..20).collect{|i|(i%4==0)...(i%3==0)?i:nil}返回:[nil,12,13,14,15,16,17,18,nil,20] 最佳答案 触发器(又名f/f)是

  4. ruby - ＃之间？ Cooper 的 *Beginning Ruby* 中的错误或异常 - 2

    在Cooper的书BeginningRuby中，第166页有一个我无法重现的示例。classSongincludeComparableattr_accessor:lengthdef(other)@lengthother.lengthenddefinitialize(song_name,length)@song_name=song_name@length=lengthendenda=Song.new('Rockaroundtheclock',143)b=Song.new('BohemianRhapsody',544)c=Song.new('MinuteWaltz',60)a.betwee

  5. ruby-on-rails - `a ||= b` 和 `a = b if a.nil 之间的区别？ - 2

    我正在检查一个Rails项目。在ERubyHTML模板页面上，我看到了这样几行:我不明白为什么不这样写:在这种情况下，||=和ifnil?有什么区别？ 最佳答案 在这种特殊情况下没有区别，但可能是出于习惯。每当我看到nil?被使用时，它几乎总是使用不当。在Ruby中，很少有东西在逻辑上是假的，只有文字false和nil是。这意味着像if(!x.nil?)这样的代码几乎总是更好地表示为if(x)除非期望x可能是文字false。我会将其切换为||=false，因为它具有相同的结果，但这在很大程度上取决于偏好。唯一的缺点是赋值会在每次运行

  6. ruby-on-rails - Ruby url 到 html 链接转换 - 2

    我正在使用Rails构建一个简单的聊天应用程序。当用户输入url时，我希望将其输出为html链接(即“url”)。我想知道在Ruby中是否有任何库或众所周知的方法可以做到这一点。如果没有，我有一些不错的正则表达式示例代码可以使用... 最佳答案 查看auto_linkRails提供的辅助方法。这会将所有URL和电子邮件地址变成可点击的链接(htmlanchor标记)。这是文档中的代码示例。auto_link("Gotohttp://www.rubyonrails.organdsayhellotodavid@loudthinking.

  7. ruby - 这两个 Ruby 类初始化定义有什么区别？ - 2

    我正在阅读一本关于Ruby的书，作者在编写类初始化定义时使用的形式与他在本书前几节中使用的形式略有不同。它看起来像这样:classTicketattr_accessor:venue,:datedefinitialize(venue,date)self.venue=venueself.date=dateendend在本书的前几节中，它的定义如下:classTicketattr_accessor:venue,:datedefinitialize(venue,date)@venue=venue@date=dateendend在第一个示例中使用setter方法与在第二个示例中使用实例变量之间是

  8. ruby-on-rails - Prawn - 表格单元格内的链接 - 2

    我正在尝试用Prawn生成PDF。在我的PDF模板中，我有带单元格的表格。在其中一个单元格中，我有一个电子邮件地址:cell_email=pdf.make_cell(:content=>booking.user_email,:border_width=>0)我想让电子邮件链接到“mailto”链接。我知道我可以这样链接:pdf.formatted_text([{:text=>booking.user_email,:link=>"mailto:#{booking.user_email}"}])但是将这两行组合起来(将格式化文本作为内容)不起作用:cell_email=pdf.make_c

  9. ruby - 使用 `+=` 和 `send` 方法 - 2

    如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

  10. [工业相机] 分辨率、精度和公差之间的关系 - 2

    📢博客主页：https://blog.csdn.net/weixin_43197380📢欢迎点赞👍收藏⭐留言📝如有错误敬请指正！📢本文由Loewen丶原创，首发于CSDN，转载注明出处🙉📢现在的付出，都会是一种沉淀，只为让你成为更好的人✨文章预览：一.分辨率（Resolution）1、工业相机的分辨率是如何定义的？2、工业相机的分辨率是如何选择的？二.精度（Accuracy）1、像素精度（PixelAccuracy）2、定位精度和重复定位精度（RepeatPrecision）三.公差（Tolerance）四.课后作业（Post-ClassExercises）视觉行业的初学者，甚至是做了1~2年

随机推荐