Ниже приведена общая форма оператора ::.
псевдоним_пространства_имен :: идентификатор
Здесь псевдоним_пространства_имен обозначает конкретное имя псевдонима пространства имен, а идентификатор — имя члена этого пространства.
Для того чтобы стало понятнее назначение описателя псевдонима пространства имен, рассмотрим следующий пример программы, в которой создаются два пространства имен, 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, принадлежащий
// пространству имен AnotherCounter.
class CountDown {
int val;
public CountDown(int n) {
val = n;
}
// ...
}
}
class AliasQualifierDemo {
static void Main() {
// Здесь оператор :: разрешает конфликт, предписывая компилятору
// использовать класс CountDown из пространства имен Counter.
Ctr::CountDown cd1 = new Ctr::CountDown(10);
// ...
}
}
В этом варианте программы для класса Counterсначала указывается псевдоним Ctrв следующей строке кода.
Читать дальше