泛型不能推断第二个参数

我注意到c#编译器不推断第二个泛型参数。
例子:

c++模板代码:(是的，我知道模板不像泛型那样工作)

class Test {
public:
template <class T,class V> 
    T test(V v) {
       //do something with v
       return T();
    }
};
int i = 0;
Test t = new Test();
double j = t.test<double>(i); //infers V as int

模板(和泛型)不能推断返回类型，所以在c++中我给它第一个模板形参，第二个模板形参是从变量类型推断出来的。

现在，同样的例子在c#中:

class Test {
    public T test<T,V>(V v) where T: new() {
       //do something with v
       return new T();
    }
};
int i = 0;
Test t = new Test();
double j = t.test<double>(i); //Error Using the generic method 'Test.test<T,V>(V)' requires '2' type arguments

但是如果我使用一个类型，我不需要显式地指定类型:

class Test {
    public V test<V>(V v) where V: new() {
       return new V();
    }
};
int i = 0;
Test t = new Test();
int j = t.test(i); //OK infers V as int.

那么，为什么 c#泛型不能推断第二种类型(而在c++模板中显然可以)?
我确信它是这样设计的(我怀疑。net团队忽略了这一点)，那么为什么是这样设计的，我必须显式地指定这两种类型?

从目前的讨论来看，这两种语言都支持按模板形参数量进行重载。