プログラミングで推移的なことは何を意味していますか？

Question

プログラミングに関して推移的なことは何を意味していますか？しかし、私は、私はこの特定の文の推敲を認識してい

：

使用-ディレクティブは非修飾 検索の目的のために推移している：例では、（hereから）以下でありますより一般的なプログラミング関連の説明に努めています。

Answer 1

バイナリ関係~は、a ~ bとb ~ cがa ~ cを意味する場合にのみ、推移的です。
、この特別な場合（例えば、推移的である「よりも背が高い」。ません「の隣に住んでいる」）

、Aはusing Bであり、Bはusing Cであり、それを有しますA using Cとして直接作用する。

Answer 2

推移は正式論理からの用語です。それは、「AがBと過渡的関係を持ち、BがCと同じ関係を持つならば、AはCとの関係を有する」ということを意味する。

たとえば、等価は過渡的な関係です。 A == BとB == Cの場合、推移性はA == Cを真とするものです。同様に、より小さいは、過渡的な関係です。つまり、A < BとB < Cの場合は、A < Cです。

ディレクティブを使用する場合、2番目の名前空間名にusingディレクティブが含まれている名前空間名を指定するusingディレクティブがスコープに含まれている場合、2番目の名前空間最初に表示されます。コードで

、それはmain()上記で

namespace B 
    { 
     int foo; 
    } 

    namespace A 
    { 
     using namespace B; 
    } 

    using namespace A; 

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

、fooはA::fooに解決されることを意味します。 Aにはusing namespace Bがあるので、fooのmain()もB::fooに解決されます。推移性とは、そのすべてを機能させるための正式な名前です。