Существует ли способ определить псевдонимы со строгим контролем типов C# существующих типов примитивов как 'строка' или 'интервал'?

I think you want to use extension methods. They allow you to extend a classes functionality without creating a new derived type.

Некоторые сведения о том, почему строка запечатана:

От http://www.code-magazine.com/Article.aspx?quickid=0501091 :

Рори: Эй, Джей, ты не возражаешь, если я спрошу тебя пара вопросов? Мне уже любопытно о некоторых вещах. Прежде всего, и это было поднято на одном из MSDN события, которые я провел на этой неделе, почему String запечатанный? Примечание: для программистов VB.NET, Sealed = NotInheritable.

Джей: Потому что мы творит много магии. трюки в String, чтобы попробовать и убедиться мы можем оптимизировать такие вещи, как сравнения, чтобы сделать их так быстро, как мы, возможно, сможем. Итак, мы воруем кусочки указателей и прочего там, чтобы пометить вещи. Просто приведу вам пример, а я не знал это когда я начал, но если строка в нем есть дефис или апостроф [затем] он сортируется иначе, чем если бы просто содержит текст, а алгоритм для сортировки, если у вас есть дефис или апостроф, если вы делаете глобальная сортировка довольно хороша сложно, поэтому мы фактически отмечаем есть ли у строки это тип поведения в нем.

Рори: Итак, вы говорите, что в мире струн, если ты не печать String там было бы много места для того, чтобы нанести большой ущерб, если люди пытались создать подклассы.

Джей: Совершенно верно. Это изменило бы весь макет объекта, поэтому мы не смог бы разыграть трюки что мы играем с такой скоростью.

Вот статья CodeProject, которую вы, вероятно, видели раньше:

http://www.codeproject.com/KB/cs/expandSealed.aspx

Так что да, неявный Оператор - ваше единственное решение.

It seems you have at least a reasonable C# knoledgde so my answer may seem stupid, but what you want is called "type hierarchy" and the guys who coded the String class wanted to prevent you from using this "OO feature" so they made String class sealed, that's why you won't be able to do what you want. The best approach is this you are on now: Make your own type and an implicit convertion to String.

Подходит ли класс System.Net.Mail.MailAddress вашим потребностям или, по крайней мере, «помогает»?

РЕДАКТИРОВАТЬ: Это явно не IEquatable или ISerializable, но вы можете легко добавить их в свою собственную оболочку.

I guess I do not get why you want to have both strong types AND implicit string conversion at the same time. For me, one rules out the other.

I tried to solve the same problem for ints (you mention int in the title, but not in the question). I found that declaring an enum gives you a type-safe integer which needs to be explicitly cast from/to int.

Update

Enums may not be intended for open sets, but can still be used in such a way. This sample is from a compilation experiment to distinguish between the ID columns of several tables in a database:

    enum ProcID { Unassigned = 0 }
    enum TenderID { Unassigned = 0 }

    void Test()
    {
        ProcID p = 0;
        TenderID t = 0; <-- 0 is assignable to every enum
        p = (ProcID)3;  <-- need to explicitly convert

        if (p == t)  <-- operator == cannot be applied
            t = -1;  <-- cannot implicitly convert

        DoProc(p);
        DoProc(t);   <-- no overloaded method found
        DoTender(t);
    }

    void DoProc(ProcID p)
    {
    }

    void DoTender(TenderID t)
    {
    }