Creo que tu pregunta va más dirigida con lo que ocurre con la memoria, más que con la herencia en sí.

Bueno como bien sabes existen los tipos primitivos (int, char, byte) y los objetos.
Enfocándonos a los objetos, estos no son como los structs en C. Para partir todos los objetos en realidad son punteros (nada nuevo si vienes de C o C++) entonces sin aplicar ninguna seguridad ni comprobar tipos aplicaciones como estas son completamente validas String a = new Integer(10) o Integer b = new String("hola") esto es debido porque ambos son punteros y su tamaño en memoria son 4 bytes (depende arquitectura el tamaño del puntero). Sin embargo, el área de la memoria que apuntan puede ser diferente.  Esto es solo un ejemplo actualmente y desde siempre hacer que un objeto tipo String apunte a un objeto Integer es imposible.

¿Que pasa con la herencia? En la herencia, los objetos de clases padres pueden apuntar (como punteros) a objetos de las clases hijos (pero no viceversa). Esto es debido porque la clase hijo incluye a la clase padre.

Bueno espero que te haya quedado un poco más claro. Si no seria bueno que estudies más sobre encapsulamiento y herencia.

Saludos

Si, estás en lo cierto.

Ahora no por ser clase hija, no siempre se podrá acceder a todo de la clase padre. Existen unos modificadores que definen la privacidad del objeto. Si una variable tiene un modificador en private, la clase hija nunca podrá acceder a este valor (por lo menos no directamente).

Espero que te haya quedado claro.