C# 4.0: полное руководство

Пространства имен помогают предотвратить конфликты имен, но не устранить их полностью. Такой конфликт может, в частности, произойти, когда одно и то же имя объявляется в двух разных пространствах имен и затем предпринимается попытка сделать видимыми оба пространства. Допустим, что два пространства имен содержат класс MyClass. Если попытаться сделать видимыми оба пространства имен с помощью директив using, то имя MyClass из первого пространства вступит в конфликт с именем MyClass из второго пространства, обусловив появление ошибки неоднозначности. В таком случае для указания предполагаемого пространства имен явным образом можно воспользоваться описателем псевдонима пространства имен ::.

Ниже приведена общая форма оператора ::.

псевдоним_пространства_имен :: идентификатор

Здесь псевдоним_пространства_имен обозначает конкретное имя псевдонима пространства имен, а идентификатор — имя члена этого пространства.

Для того чтобы стало понятнее назначение описателя псевдонима пространства имен, рассмотрим следующий пример программы, в которой создаются два пространства имен, Counter и AnotherCounter, и в обоих пространствах объявляется класс CountDown. Затем оба пространства имен становятся видимыми с помощью директив using. И наконец, в методе Main() предпринимается попытка получить экземпляр объекта типа CountDown.

// Продемонстрировать необходимость описателя ::.

using System;

// Использовать оба пространства имен Counter и AnotherCounter.

using Counter;

using AnotherCounter;

// Объявить пространство имен для счетчиков,

namespace Counter {

  // Простой вычитающий счетчик,

  class CountDown {

    int val;

    public CountDown(int n) {

      val = n;

    }

    // ...

  }

}

// Объявить еще одно пространство имен для счетчиков,

namespace AnotherCounter {

  // Объявить еще один класс CountDown, принадлежащий

  // пространству имен AnotherCounter.

  class CountDown {

    int val;

    public CountDown(int n) {

      val = n;

    }

  }

}

class WhyAliasQualifier {

  static void Main() {

    int i;

    // Следующая строка, по существу, неоднозначна!

    // Неясно, делается ли в ней ссылка на класс CountDown

    // из пространства имен Counter или AnotherCounter?

    CountDown cd1 = new CountDown(10); // Ошибка!!!

    // ...

  }

}

Если попытаться скомпилировать эту программу, то будет получено сообщение об ошибке, уведомляющее о неоднозначности в следующей строке кода из метода Main().

CountDown cd1 = new CountDown(10); // Ошибка!!!

Причина подобной неоднозначности заключается в том, что в обоих прострайствах имен, Counter и AnotherCounter, объявлен класс CountDown и оба пространства сделаны видимыми. Поэтому неясно, к какому именно варианту класса CountDown следует отнести приведенное выше объявление. Для устранения подобного рода недоразумений и предназначен описатель ::.

Для того чтобы воспользоваться описателем ::, необходимо сначала определить псевдоним для пространства имен, которое требуется описать, а затем дополнить описание неоднозначного элемента этим псевдонимом. Ниже приведен вариант предыдущего примера программы, в котором устраняется упомянутая выше неоднозначность.

// Продемонстрировать применение описателя ::.

using System;

using Counter;

using AnotherCounter;

// Присвоить классу Counter псевдоним Ctr.

using Ctr = Counter;

// Объявить пространство имен для счетчиков,

namespace Counter {

  // Простой вычитающий счетчик,

  class CountDown {

    int val;

    public CountDown(int n) {

      val = n;

    }

  }

}

// Объявить еще одно пространство имен для счетчиков,

namespace AnotherCounter {

  // Объявить еще один класс CountDown, принадлежащий