Upcasting на java

Question

Upcasting на java

В Java предположим, что у меня есть 3 класса, C простирается от B, который простирается от A.

class X {

   interface A {}

   interface B extends A {}

   interface C extends B {}

   void f(A a) {}



   void test() {

      C c = new C()

      B b = (B) c;



      f(b);

   }

}

Если я сделаю что-то подобное, как показано в test() выше:

C c = new C()

B b = (B) c;



f(b);

f() принимает b как Тип C, так как C и B оба простираются от A. Я хотел f() получить b как тип B, а не Тип C.

Есть ли в любом случае, чтобы форсировать эту передачу?

517 9

java casting

9 ответов:

Comments

Ничего не найдено.

Brian Agnew · Accepted Answer · 2009-05-03 19:10:09

f() будет Всегда получать что-то, напечатанное как A (несмотря на то, что под обложками это на самом деле B или C, и может быть соответствующим образом опущено).

Вы можете определить дополнительный f () таким образом
f(B b);
И при необходимости
f(C c);
И правильный будет вызван в зависимости от класса аргумента. то есть компилятор определяет, какая функция вызывается в зависимости от типа аргумента. Это отличается от динамической отправки (или полиморфизма), которая произошла бы во время выполнения.

Обратите внимание, что ваш бросок в вопросе избыточен. Вы можете написать:
C c = new C()
B b = c;

f(b);
Поскольку C простирается от B, C является a B.

Michael Borgwardt · Accepted Answer · 2009-05-03 19:08:42

Похоже, вас смущает разница между типом времени компиляции и типом времени выполнения.

Вы создаете объект (на который указывают ссылки c и b) типа C, и он будет оставаться C, потому что невозможно изменить тип времени выполнения объекта и, следовательно, поведение; путем приведения вы можете просто изменить его тип времени компиляции, что влияет на то, как компилятор обрабатывает его.

Можете ли вы дать дополнительную информацию о конкретной проблеме, которую вы пытаетесь решить? Скорее всего, есть способ достичь своей цели, изменив дизайн.

tpdi · Accepted Answer · 2009-05-03 19:05:20

Я хотел, чтобы f получал b как тип B, а не тип C.

A C - это B - это A.

Внутри f, f видит только часть A своего параметра a, Если f вызывает открытую функцию A, которая переопределена в C, вызывается переопределение C.
Именно так работают виртуальные функции. Идея состоит в том, что объект, на который ссылаются, действительно является C, поэтому он должен проявлять C поведение. Если вы хотите B поведения, передайте экземпляр B , не экземпляр C.
Если 'C' и' B ' должны иметь одинаковое поведение, не проверяйте это поведение в C.

Почему вы хотите это сделать?

sleske · Accepted Answer · 2009-05-03 19:06:55

Ваш вопрос не имеет смысла. Что вы подразумеваете под "f принимает b как Тип C"?

F принимает b как тип A, так как сигнатура метода говорит "A". Если вы вызываете методы на b, они будут вызваны на C, если C переопределяет их. Но это стандартное поведение в Java (все методы подобны виртуальным методам в C++), и нет никакого способа изменить его.

Может быть, вы сможете описать вашу реальную проблему, тогда мы сможем помочь.

GClaramunt · Accepted Answer · 2009-05-03 19:10:13

Тот факт, что вы можете передать любой подкласс A в качестве параметра f(A a), присущ OO в Java, нет никакого способа обойти это. Если C расширяет A, вы можете Всегда использовать его там, где ожидается A.

cd1 · Accepted Answer · 2009-05-03 21:23:24

Вы можете использовать отражение, чтобы проверить, относится ли параметр к классу A:
public void f(A a) {
  if (a.getClass() == A.class) {
    // ok, go on
  }
  else {
    System.err.println("The parameter is not of class A!");
  }
}
Не знаю, хотите ли вы этого, но это может быть полезно.

score 0 · Accepted Answer · 2009-05-04 06:03:47

Ваша проблема может быть решена путем понимания разницы между ссылочным типом и типом экземпляра. При приведении объекта C в качестве B изменяется только ссылочный тип-фактический экземпляр объекта по - прежнему является объектом C-это должно быть совершенно очевидно, если вы смотрите на объект в режиме отладки. Изменение ссылочного типа влияет только на то, как компилятор обрабатывает / воспринимает код-поведение среды выполнения не должно быть затронуто. Любой вызов метода на объект, всегда будет вызывать с метод (независимо от того, был ли объект приведен к чему-то другому или нет). Если вы переопределяете метод из B и хотите вызвать версию метода B, то вам нужно будет создать экземпляр B.

mP. · Accepted Answer · 2009-05-04 06:35:41

Тот факт, что ваш код имеет ссылку на A, не означает, что указываемый объект тоже является A. Если это A C, то он остается C. ссылка в исходном коде ограничивает только доступные методы в исходном коде. Приведение необходимо только потому, что иногда требуется метод на другом типе,и нам нужно обмануть компилятор, чтобы он позволил нам начать использовать методы на кастах для ввода. Естественно, приведение может потерпеть неудачу во время выполнения, если попытка является недействительной.

Rohit Chugh · Accepted Answer · 2014-02-20 12:32:50

In upcasting and downcasting the  object first upcast then downcastenter
class A
{
}
class B extends A
{
}
Class M
{
  psvm(String ar[])
{

   A a1= new B();
   B b2=(B)a1;
}