传递给方法的无界通配符

发布于 2024-12-10 06:11:25 字数 624 浏览 0 评论 0原文

public class ColTest {
static<T> T wildSub(ArrayList<? extends T> holder, T arg){
        T t=holder.get(0);
        return t;
    }

    public static void main(String[] args) {
        ArrayList<?> list=new ArrayList<Long>(Arrays.asList(2L,3L,7L));
        Long lng=1L;
        ColTest.wildSub(list, lng);
    }
}

真的很感兴趣为什么这个片段是合法的，因为 wildSub 的签名仅采用 T 的 ArrayList 或派生自 T 以及 类型的 arg >T。但是意味着 - 某种特定类型，未知，它如何满足编译器的要求？毕竟类型并不意味着 ...

原文

public class ColTest {
static<T> T wildSub(ArrayList<? extends T> holder, T arg){
        T t=holder.get(0);
        return t;
    }

    public static void main(String[] args) {
        ArrayList<?> list=new ArrayList<Long>(Arrays.asList(2L,3L,7L));
        Long lng=1L;
        ColTest.wildSub(list, lng);
    }
}

Really interested why this snippet is legal, because the signature of wildSub takes only ArrayList of T or derived from T, and arg of type T. But <?> means - some specific type, not known, and how it can satisfy the compiler? After all type <?> doesn't mean <? extends Long> ...

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

ゞ记忆︶ㄣ 2024-12-17 06:11:25

编译器可以自由推断与参数类型和返回类型兼容的任何内容。在您的情况下，它始终可以将 T 推断为 Object。这将签名变成

static Object wildSub(ArrayList<?> holder, Object arg)

Which 意味着它可以将任何 ArrayList 作为第一个参数，将任何内容作为第二个参数。由于您不对返回值执行任何操作，因此 Object 就可以了。

The compiler is free to infer anything that is compatible with the types of the arguments and return type. In your case it can always infer T as Object. Which turns the signature into

static Object wildSub(ArrayList<?> holder, Object arg)

Which means it can take any ArrayList as first argument and anything as second. Since you don't do anything with the return value, Object will be okay.

回复收藏 0 原文

-小熊_ 2024-12-17 06:11:25

如果您考虑一下编译器在哪里使用 Object ？被使用，它为什么会编译是有道理的。这就是全部内容了。

如果您正在执行任何依赖于 ? 的操作作为某个类，如果传入了错误的类，您将在运行时收到强制转换异常。

回复收藏 0 原文

痴情换悲伤 2024-12-17 06:11:25

这是由于捕获转换造成的。在内部，编译器将表达式 Foo 的类型转换为 Foo，其中 X 是特定但未知的类型。

回复收藏 0 原文

十雾 2024-12-17 06:11:25

作为现有（正确）答案的补充，使其更加清晰：

    ...
        Object result1 = ColTest.wildSub(list, lng); //compiles fine with Sun's javac
//      Long result2 = ColTest.wildSub(list, lng);   //does not compile without explicit casting
        Long result2 = (Long) ColTest.wildSub(list, lng);   //compiles fine 
    ...

As an addition to existing (correct) answers to make it more clear:

    ...
        Object result1 = ColTest.wildSub(list, lng); //compiles fine with Sun's javac
//      Long result2 = ColTest.wildSub(list, lng);   //does not compile without explicit casting
        Long result2 = (Long) ColTest.wildSub(list, lng);   //compiles fine 
    ...

回复收藏 0 原文

~没有更多了~