Можно ли объявить рекурсивную директиву alias в C#?

Question

Этот пример дает «тип или пространство имен имя„MyType“не может быть найден (вы пропали без вести с помощью директивы или ссылка на сборку?)»

using MyType = System.Func<System.Int32, System.Tuple<System.Int32, MyType>>; 

Является ли это вообще возможно объявить рекурсивный тип как это?

Answer 1

Нет, я не думаю, что это возможно. Правая часть вашего оператора using должна быть разрешена к реальному типу, прежде чем вы сможете назначить ему псевдоним. В вашем случае, чтобы разрешить правостороннюю сторону, компилятор должен полностью определить алиасы ... которые требуют, чтобы он разрешил правую часть. Эта рекурсивная проблема не имеет конца, поэтому компилятор явно не собирается беспокоиться.

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

MyType mytype = x => Tuple<int, MyType>.Create(x, ???); 

Что я мог можно положить в теле функции для определения возвращаемого значения ? В конце концов мне нужно, чтобы возвращаемый конструктивный тип возвращался.

Answer 2

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

using System; 
using String = System.Func<System.String>; 

namespace ConsoleApplication1 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      String myString =() => "Foo"; 
      // myString is now a function returning the string "Foo". Yikes. 
     } 
    } 
} 

При этом он никогда не будет проходить проверку кода мной. Поговорите о запутывании.