c# - 为什么下面的代码不能编译？

Question

我不明白为什么下面的代码不能编译:

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace ConsoleApplication1 {
    public interface ITestCondition<T> {
    }

    public class TestConditionBase<T>: ITestCondition<T> {
    }

    public class TestCondition<T>: TestConditionBase<T> {
    }

    public static class TestConditionExtension {
        public static V Foo<V, T>(this V condition) where V: ITestCondition<T> {
            return condition;
        }
    }

    class Program {
        static void Main(string[] args) {
            new TestCondition<int>().Foo();
        }
    }
}

它说找不到“foo”。但它在没有通用类型的情况下也能完美运行。

Answer 1

编译器无法推断类型。明确指定它们:

new TestCondition<int>().Foo<TestCondition<int>, int>();