Как ограничить этот подкласс, который не может быть общим?

Как ограничено, что подкласс java.lang.Throwable не будет универсальным классом?

Вот как компилятор OpenJDK выполняет проверку:

import com.sun.tools.javac.code.Symbol.*;   

private void attribClassBody(Env<AttrContext> env, ClassSymbol c) {
    ....

    // Check that a generic class doesn't extend Throwable
    if (!c.type.allparams().isEmpty() && types.isSubtype(c.type, syms.throwableType))
        log.error(tree.extending.pos(), "generic.throwable");

Как видите, запрещенный тип является жестко закодированным, поэтому вы не можете использовать тот же метод для своего пользовательского класса без настройки кода компилятора.

Полный исходный код

Как ограничено, что подкласс java.lang.Throwable не будет универсальным классом?

Это было решение написать частный случай в самом компиляторе. Причина этого подробно описана в этом вопросе . По сути, это связано с реифицируемым типом. Вы можете прочитать об этом термине здесь. Короче говоря, тип является реифицируемым, если он полностью доступен во время компиляции. Например, универсальные типы не могут быть преобразованы, потому что их типы удаляются стиранием типа. Объекты, появляющиеся в catch блоке, должны быть реифицируемыми.

Или более общий вопрос: как ограничить подклассы класса, которые не могут быть универсальными?

Есть несколько вариантов ...

В настоящее время в обычных рамках Java нет возможности сделать это. У него нет какой-то final реализации, которая препятствовала бы применению универсальности к подклассам. Как объясняется в комментариях, самое близкое к этому - расширить компилятор и добавить правило специально для вашего класса. Это решение вызывает у меня мурашки по спине. Уклоняйся от этого. Это означает, что ваш код будет работать только с вашей версией Java, и что любой, кто хочет использовать ваш код, должен будет установить ту же версию.

Очевидно, другой вариант - расширить Throwable, но это действительно не очень хорошая идея. Он добавляет к вашему классу целый набор функций и добавляет множество новых методов в интерфейс вашего класса, которые вы никогда не будете использовать. С точки зрения ООП, вы жертвуете целостностью своего класса ради преимущества этой функции.

Если вы хотите отложить ошибку до времени выполнения, вы можете использовать отражение в конструкторе (ах) суперкласса, чтобы увидеть, объявляет ли подкласс какие-либо параметры типа.

public class Example {
    public static class ProhibitsGenericSubclasses {
        public ProhibitsGenericSubclasses() {
            if (getClass().getTypeParameters().length > 0)
                throw new AssertionError("ProhibitsGenericSubclasses prohibits generic subclasses (see docs)");
        }
    }

    public static class NonGenericSubclass extends ProhibitsGenericSubclasses {}
    public static class GenericSubclass<T> extends ProhibitsGenericSubclasses {}

    public static void main(String[] args) {
        System.out.println(new NonGenericSubclass());
        System.out.println(new GenericSubclass<Object>());
    }
}

Этот код печатает

Example$NonGenericSubclass@15db9742
Exception in thread "main" java.lang.AssertionError: ProhibitsGenericSubclasses prohibits generic subclasses (see docs)
    at Example$ProhibitsGenericSubclasses.<init>(Example.java:12)
    at Example$GenericSubclass.<init>(Example.java:17)
    at Example.main(Example.java:21)

Если вы хотите запретить параметры типа всех классов в иерархии, а не только самого производного класса, вам нужно пройти вверх по иерархии, используя Class#getSuperclass().