blocks|key|1943059|text|您可以使用通用版本。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1943060|Task<IFoo>+task+=+Task.Run<IFoo>(()+=>+new+Foo());|code-block|syntax|javascript|1943061|entityMap^0|0|0^^$0|@$1|2|3|4|5|6|7|I|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|J|8|@]|9|@]|A|$E|F]]|$1|G|3|-4|5|6|7|K|8|@]|9|@]|A|$]]]|H|$]]

You can use generic version

<pre><code>Task&lt;IFoo&gt; task = Task.Run&lt;IFoo&gt;(() =&gt; new Foo());
</code></pre>

blocks|key|1943115|text|这是因为这个语句Task.Factory.StartNew(()+=>+new+Foo());返回一个Task<Foo>类型的实例。|type|unstyled|depth|inlineStyleRanges|offset|length|style|CODE|entityRanges|data|1943116|考虑到Task<>类是一个具体的类，它不能是协变量的，除非它实现了一个协变接口(即ITask<out+T>)。|1943117|请注意，有一个uservoice主题可以这样做：使任务实现协变量接口ITask。|1943118|还请注意以下关于为什么现在是这样的可能解释，“任务类中缺乏协变性”|1943119|框架准则是：|blockquote|1943120|如果您的框架由于其他原因已经包含了一个接口，那么一定要让它成为co%2Bcontravariant。|unordered-list-item|1943121|但是，不要仅仅为了启用co%2Bcontravariance而引入接口。|1943122|其理由是协方差的优势被杂乱的缺点所压倒(也就是说，每个人都必须决定是在代码中的每一个地方使用Task<T>还是ITask<T>+)。|1943123|现在你要做的是：|1943124|Task<IFoo>+task+=+Task.Factory.StartNew<IFoo>(()+=>+new+Foo());|code-block|syntax|javascript|1943125|entityMap|0|LINK|mutability|MUTABLE|url|https://visualstudio.uservoice.com/forums/121579-visual-studio/suggestions/5754247-make-task-t-implement-covariant-interface-itask-o|1|https://social.msdn.microsoft.com/Forums/en-US/2a350bb3-b1cc-48a1-8684-8e67cf17bf55/lack-of-covariance-in-the-task-class?forum=async^0|8|13|1F|9|0|3|6|15|C|0|O|F|0|0|M|B|1|0|0|0|0|1A|7|1J|8|0|0|0^^$0|@$1|2|3|4|5|6|7|1C|8|@$9|1D|A|1E|B|C]|$9|1F|A|1G|B|C]]|D|@]|E|$]]|$1|F|3|G|5|6|7|1H|8|@$9|1I|A|1J|B|C]|$9|1K|A|1L|B|C]]|D|@]|E|$]]|$1|H|3|I|5|6|7|1M|8|@]|D|@$9|1N|A|1O|1|1P]]|E|$]]|$1|J|3|K|5|6|7|1Q|8|@]|D|@$9|1R|A|1S|1|1T]]|E|$]]|$1|L|3|M|5|N|7|1U|8|@]|D|@]|E|$]]|$1|O|3|P|5|Q|7|1V|8|@]|D|@]|E|$]]|$1|R|3|S|5|Q|7|1W|8|@]|D|@]|E|$]]|$1|T|3|U|5|6|7|1X|8|@$9|1Y|A|1Z|B|C]|$9|20|A|21|B|C]]|D|@]|E|$]]|$1|V|3|W|5|6|7|22|8|@]|D|@]|E|$]]|$1|X|3|Y|5|Z|7|23|8|@]|D|@]|E|$10|11]]|$1|12|3|-4|5|6|7|24|8|@]|D|@]|E|$]]]|13|$14|$5|15|16|17|E|$18|19]]|1A|$5|15|16|17|E|$18|1B]]]]

That is because this statement <code>Task.Factory.StartNew(() =&gt; new Foo());</code> returns an instance of type <code>Task&lt;Foo&gt;</code>.
And given that the <code>Task&lt;&gt;</code> class is a concrete class, it cannot be covariant, unless it were implementing a covariant interface (i.e. <code>ITask&lt;out T&gt;</code>).
Note that there is a uservoice topic to do just that: <a href="https://visualstudio.uservoice.com/forums/121579-visual-studio/suggestions/5754247-make-task-t-implement-covariant-interface-itask-o" rel="noreferrer">&quot;Make Task implement covariant interface ITask&quot;</a>.
Also note the following possible explanation on why it is the way is it now, <a href="https://social.msdn.microsoft.com/Forums/en-US/2a350bb3-b1cc-48a1-8684-8e67cf17bf55/lack-of-covariance-in-the-task-class?forum=async" rel="noreferrer">&quot;Lack of Covariance in the Task Class&quot;</a>:
<blockquote>
Framework guidelines are:
<ul>
<li>If your framework already includes an interface for other reasons, then by all means make it co+contravariant.</li>
<li>But don't introduce an interface solely for the purposes of enabling co+contravariance.</li>
</ul>
The justification is that the advantage of covariance is outweighed by the disadvantage of clutter (i.e. everyone would have to make a decision about whether to use <code>Task&lt;T&gt;</code> or <code>ITask&lt;T&gt;</code> in every single place in their code).
</blockquote>
For now you will have to do:
<pre><code>Task&lt;IFoo&gt; task = Task.Factory.StartNew&lt;IFoo&gt;(() =&gt; new Foo());
</code></pre>

Consider a class <code>Foo</code> which wholly implements <code>IFoo</code>.
Concurrently, consider a task <code>Task&lt;IFoo&gt;</code>.

Why is it that when the following is called, a compilation error is thrown;

<pre><code>Task&lt;IFoo&gt; task = Task.Factory.StartNew(() =&gt; new Foo());
</code></pre>

The compiler states that it cannot convert from source type <code>Task&lt;Foo&gt;</code> to <code>Task&lt;IFoo&gt;</code>. While this makes sense because they are essentially two differing types, would it not fall under the same premise as <code>IList&lt;IFoo&gt; list = new List&lt;IFoo&gt;{new Foo(/* construct */)};</code>, or other similar assignments?

At the moment I am forcing a cast to the interface, but this feels unneccesary.

Assigning a concrete Task<TImplementation> to a variable of type Task<TInterface>

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

考虑一个类Foo，它完全实现了IFoo。同时，考虑一个任务Task<IFoo>。为什么当调用以下内容时，会引发编译错误；Task<IFoo> task = Task.Factory.StartNew(() => new Foo());编译器声明它不能从源类型Task<Foo>转换为Task<IFoo>。虽然这是有意义的...

问将具体的Task<TImplementation>分配给Task<TInterface>类型的变量
EN

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问将具体的Task<TImplementation>分配给Task<TInterface>类型的变量EN

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问将具体的Task<TImplementation>分配给Task<TInterface>类型的变量
EN