Обнаружение цикла в наследовании

Question

В настоящее время я пишу Java-компилятор, одна из вещей, которую я должен обеспечить, - ациклическое наследование.Мне было интересно, что это лучший способ проверить это требование.Спасибо!

Answer 1

Взгляните на эту часть JLS, в частности на часть внизу 8.1.4, в которой говорится, что "класс C напрямую зависит от типа T, если ...".

JLS - это ваш справочник, если вы пишете компилятор Java. Вы, вероятно, в конечном итоге будете знать всю книгу, как тыльную сторону ладони.