Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bad super class declared in a signature for interface corresponding to generic trait extending generic class #4891

Closed
scabug opened this issue Aug 8, 2011 · 3 comments
Assignees

Comments

@scabug
Copy link

scabug commented Aug 8, 2011

Consider following Scala code:

package test.generic

class C1[A] {
  def m1(): Unit = System.out.println("m1")
}

trait T1[A] extends C1[A]

class C2[A] extends T1[A] //defined for connivence 

Once compiled, this will produce a broken signature in interface corresponding to T1:

Compiled from "test-generic.scala"
public interface test.generic.T1
  SourceFile: "test-generic.scala"
  ScalaSig: length = 0x3
   05 00 00 
  Signature: length = 0x2
   00 04 
  RuntimeVisibleAnnotations: length = 0xB
   00 01 00 06 00 01 00 07 73 00 08 
  minor version: 0
  major version: 49
  Constant pool:
const #1 = Asciz	SourceFile;
const #2 = Asciz	test-generic.scala;
const #3 = Asciz	ScalaSig;
const #4 = Asciz	<A:Ljava/lang/Object;>Ltest/generic/C1<TA;>;; //!!! interface extends a class, not very nice
const #5 = Asciz	Signature;
const #6 = Asciz	Lscala/reflect/ScalaSignature;;
const #7 = Asciz	bytes;
const #9 = Asciz	RuntimeVisibleAnnotations;
const #10 = Asciz	test/generic/T1;
const #11 = class	#10;	//  test/generic/T1
const #12 = Asciz	java/lang/Object;
const #13 = class	#12;	//  java/lang/Object

{
}

As a bonus, define Java code:

import test.generic.*;

public class Foo {
  
  public static <A> void foo(T1<A> x) {
    x.m1();
  }
  
  public static void main(String[] args) {
    T1<Object> x = new C2<Object>();
    foo(x);
  }
  
}

and compile it using javac. Once you run, you get:

Exception in thread "main" java.lang.NoSuchMethodError: test.generic.T1.m1()V
	at Foo.foo(Foo.java:6)
	at Foo.main(Foo.java:11)

Which means that javac got completely confused by broken signature and created a broken class file itself. Not very good.

The solution would be to skip classes from list of extended things. We should only list traits (if there are any) so we get signature for interface that refers to interfaces only. This solution has been discussed with Martin and he is ok with it.

@scabug
Copy link
Author

scabug commented Aug 8, 2011

Imported From: https://issues.scala-lang.org/browse/SI-4891?orig=1
Reporter: @gkossakowski
Affected Versions: 2.9.1

@scabug
Copy link
Author

scabug commented Aug 8, 2011

@gkossakowski said:
Also, it's worth mentioning that signatures for interfaces should always list java.lang.Object as a super class. Thus our signature would become:
<A:Ljava/lang/Object;>Ljava/lang/Object;

@scabug
Copy link
Author

scabug commented Aug 9, 2011

Commit Message Bot (anonymous) said:
(extempore in r25468) Fix java signature generation for traits: no classes as parents.
Closes #4891, review by grek.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants