Дженерики и nullable тип

Забавно, что вы упомянули об этом, потому что на днях я возился с чем-то вроде этого:

using System;
using System.Reflection;

static class Example
{
    public static Tuple<Boolean, T?> TryParse<T>(this String candidate)
        where T : struct
    {
        T? value = null;
        Boolean success = false;

        var parser = ParsingBinder<T>.GetParser();

        try 
        { 
                value = parser(candidate);
                success = true;
        } 
        catch (FormatException) { }

        return new Tuple<Boolean,T?>(success, value);
    }
}

static class ParsingBinder<T>
{
    static Func<String, T> parser;

    public static Func<String, T> GetParser()
    {
        if (parser == null)
                parser = getParser();

        return parser;
    }

    static Func<String, T> getParser()
    {
        MethodInfo methodInfo 
            = typeof(T).GetMethod(
                    "Parse", new [] { typeof(String) });

        if (methodInfo == null)
                throw new Exception(
                        "Unable to retrieve a \"Parse\" method for type.");

        return (Func<String, T>)Delegate
        .CreateDelegate(typeof(Func<String, T>), methodInfo);
    }
}

Это похожий подход, но подумайте о нем как о лучшем TryParse , который возвращает Tuple (для этого требуется .NET 4). Первое свойство кортежа - это логическое значение, указывающее успех или неудачу попытки синтаксического анализа, а второе свойство - значение, допускающее значение NULL, введенное в аргумент универсального типа, которое будет null , если синтаксический анализ завершится неудачно, и значение, если разбор завершается успешно.

Он работает, используя отражение для получения статического метода Parse (String) из аргумента универсального типа и вызывает этот метод для строки, которая передается. Я создал его как метод расширения чтобы вы могли делать такие вещи:

var intValue = "1234".TryParse<Int32>();
var doubleValue = "1234".TryParse<Double>();

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

Одна из приятных особенностей этого подхода заключается в том, что затраты на извлечение метода Parse через отражение ложатся только на первое использование, так как статический делегат создается для всех последующих применений.

Еще одна вещь - единственная неуклюжая вещь в этом подходе - это отсутствие языковых расширений или синтаксического сахара, которые упростили бы работу с ним. Я надеялся достичь с помощью этого кода менее неуклюжего способа использования стандартных TryParse методов, существующих в BCL.

Я лично считаю этот шаблон довольно уродливым:

Int32 value;
if (Int32.TryParse(someString, out value))
    // do something with value

главным образом потому, что он требует предварительного объявления переменной и использования параметра out . Мой подход, описанный выше, на самом деле не намного лучше:

var result = someString.TryParse<Int32>();
if (result.Item1)
    // do something with result.Item2

Было бы здорово увидеть расширение языка C #, которое было создано для работы с Tuple , что позволило бы нам, чтобы работать с этим типом гладко, но, чем больше я пишу об этом, у меня возникает ощущение, что это на самом деле не представляется возможным.