Question

C＃7中一个较少谈论的功能是＆＃34;通用的异步返回类型＆＃34;，微软将其描述为：

从异步方法返回Task对象可能会在某些路径中引入性能瓶颈。 Task是一个引用类型，因此使用它意味着分配一个对象。如果使用async修饰符声明的方法返回缓存结果或同步完成，则额外分配可能会成为性能关键代码段中的重要时间成本。如果这些分配发生在紧密的循环中，它可能会变得非常昂贵。

新语言功能意味着除了Task，Task<T>和void之外，异步方法可能会返回其他类型。返回的类型仍必须满足异步模式，这意味着必须可以访问GetAwaiter方法。作为一个具体示例，ValueTask类型已添加到.NET框架中以使用此新语言功能：

这听起来不错，但我找不到任何不使用股票ValueTask<T>类型的例子。我想制作类似自己的任务类型。具体来说，我想要一个行为类似Task<T>的类型，但具有更多功能的错误处理方式。

以下是我在项目中用于功能错误处理的类型：

public class Try<T> {
    public T Data { get; }
    public Exception Error { get; }

    public bool HasData => Error == null;
    public bool HasError => Error != null;

    public Try(T data) {
        Data = data;
    }

    public Try(Exception error) {
        Error = error;
    }
}

以下是我认为我的自定义等待类型应该是这样的：

public class TryTask<T> : Task<Try<T>> {

    public TryTask(Func<Try<T>> func)
        : base(func) { }

    //GetAwaiter is defined on base type, so we should be okay there
}

这一切都编译，直到我尝试将其用作异步返回类型：

async TryTask<int> DoWhatever() {
    return await new TryTask<int>(() => new Try<int>(1));
}

此方法将给编译器错误异步方法的返回类型必须为void，Task或Task。

我如何制作这样或类似的东西？

更新

要确认，我正在使用3/7的VS 2017版本，我可以在项目中使用其他C＃7功能，例如本地功能。

我也尝试过使用ValueTask并遇到相同的编译错误。

static async ValueTask<int> DoWhatever() {
    return await new ValueTask<int>(1);          
}

这是另一篇文章，介绍了最新情况 How do I get the new async semantics working in VS2017 RC?

显然是一个独立的方法构建者＆＃34;需要定义类型，并且需要将特殊属性应用于等待类型。我不知道我是否真的有时间深入研究这个问题。它似乎更像是元编程hackery而不是＆＃34;语言功能＆＃34;。

Answer 1

我找不到任何好的教程了。但是你可以查看创建类似任务类型的compiler unittests（查找“[AsyncMethodBuilder”）。

起点是创建一个类型，并使用类似[AsyncMethodBuilder(typeof(MyTaskBuilder))]的属性将其标记为任务。然后，您需要定义自己的MyTaskBuilder类型。它必须实现某种模式（见下文）。这与支持常规Task的常规AsyncMethodBuilder类型实现的模式相同。

class MyTaskBuilder
{
    public static MyTaskBuilder Create() => null;
    public void Start<TStateMachine>(ref TStateMachine stateMachine) where TStateMachine : IAsyncStateMachine { }
    public void SetStateMachine(IAsyncStateMachine stateMachine) { }
    public void SetResult() { }
    public void SetException(Exception exception) { }
    public MyTask Task => default(MyTask);
    public void AwaitOnCompleted<TAwaiter, TStateMachine>(ref TAwaiter awaiter, ref TStateMachine stateMachine) where TAwaiter : INotifyCompletion where TStateMachine : IAsyncStateMachine { }
    public void AwaitUnsafeOnCompleted<TAwaiter, TStateMachine>(ref TAwaiter awaiter, ref TStateMachine stateMachine) where TAwaiter : ICriticalNotifyCompletion where TStateMachine : IAsyncStateMachine { }
}

更新：在编译器文档中添加了small spec for task-like types。

在C＃7中，我怎样才能推动自己的＃34;与异步一起使用的类似任务的类型？

1 个答案: