在编程中某些东西是可传递的是什么意思

What does it mean that something is transitive in programming?

本文关键字：可传递 是什么 意思 编程      更新时间：2023-10-16
在

编程方面，某些东西是可传递的是什么意思？一个例子如下(从这里开始(：

use-指令对于非限定指令是可传递的 查找：

我知道这个特定声明的阐述，但是，我正在努力进行更通用的编程相关解释。

二

元关系~是可传递的，当且仅当a ~ b和b ~ c暗示a ~ c。
(例如，"高于"是传递的;"住在隔壁"不是。

在这种特殊情况下，A是using B，B是using C，它直接与A using C具有相同的效果。

传递是形式逻辑中的一个术语。 这意味着"如果 A 与 B 具有传递关系，而 B 与 C 具有相同的关系，则 A 与 C 具有该关系"。

例如，平等是一种传递关系。 如果A == B和B == C那么传递性就是允许A == C为真的原因。 同样，小于是一种传递关系，这意味着如果A < B并且B < C则A < C。

对于 using 指令，其含义是，如果作用域包含指定命名空间名称的 using 指令，而该指令

本身包含第二个命名空间名称的 using 指令，则效果就像第二个命名空间中的 using 指令出现在第一个命名空间中一样。

在代码中，这意味着

  namespace B
  {
        int foo;
  }
  namespace A   
  {
       using namespace B;
  }
  using namespace A;
  int main()
  {
      foo = 42;       // resolves to B::foo
  }

在上面，foo 在 main() 解析为 A::foo . 由于A有using namespace B，foo在main()也解析为B::foo。 传递性是使这一切发挥作用的正式名称。

相关文章：