Как мне написать функцию Java, которая возвращает типизированный экземпляр this и работает при расширении?

Не могли бы вы просто опубликовать полный пример, приводящий к отображаемому вами сообщению об ошибке?

Я просто скомпилировал и без проблем выполнил следующее:

public class Test {

    public static void main(String[] args) {
        // TODO Auto-generated method stub
        ChainerExtender c = new ChainerExtender();
        c.doStuff().doStuff();
    }

    public static class Chainer
    {
        public <A extends Chainer> A doStuff()
        {
           /* Do stuff ... */
            System.out.println("Chainer");
           return (A)this;
        }
    }

    public static  class ChainerExtender extends Chainer
    {
        /** 
         * @see test.Test.Chainer#doStuff()
         */
        @Override
        public <A extends Chainer> A doStuff()
        {
            System.out.println("ChainerExtender");
           return super.doStuff();
        }
    }

}

Дает:

ChainerExtender
Chainer
ChainerExtender
Chainer

Я неправильно понял эту проблему, пожалуйста, проголосуйте против и прокомментируйте.

Почему бы им всем не вернуть интерфейс? Вам нужно будет определить все возможные связанные методы в интерфейсе и предоставить «нулевые» реализации в базовом классе, но вы сможете привязать их к своему сердцу.

public interface IChainer
{
  IChainer doStuff();
  IChainer doSomethingElse();
}

public class Chainer implements IChainer
{
  public IChainer doStuff()
  {
     // really do something
     return this;
  }

  public IChainer doSomethingElse()
  {
      return this; // do nothing
  }
}

public class ChainerExtender extends Chainer
{
   // simply inherits implementation for doStuff()

   public override IChainer doSomethingElse()
   {
       // really do something
       return this;
   }
}

Примечание: у меня могут быть некоторые проблемы с синтаксисом выше. Последние несколько лет я программировал в основном на C#. Надеюсь, вы поняли идею.

Я думаю, что простой ответ - «нет, не можешь». Я понимаю, чем это может быть полезно, но я чувствую, что такое использование наследования кричит мне о «неожиданных последствиях». Это только вопрос времени, когда кто-то решит добавить немного дополнительных функций в подкласс, в отличие от простого выполнения super.doStuff(), и следить за потоком управления будет чрезвычайно сложно.

Одно из возможных решений состоит в том, чтобы ваши цепочки (если они используют шаблон строитель) возвращали новые экземпляры разных классов построителей вместо this. Посмотрите, что Стивен Колеборн сделал с построителями даты в JSR 310, что довольно умно с точки зрения API, хотя и неудобно для написания.

Прошло некоторое время с тех пор, как я сделал какие-либо дженерики Java.

Что о :

<T>
public class  Chainer 
{
    public T doStuf()
   {
   }

}

public class ChainerDerived : extends Chainer<ChainerDerived>
{
   public ChainerDerived doStuf()
   {
   }
}

В последнее время я в основном занимаюсь C++, и такие вещи - обычное дело. Поддерживают ли дженерики Java этот тип структуры?

Надеюсь, я понял ваш вопрос.

Я заставил это работать таким образом. Он использует литерал класса, чтобы указать, к какому типу привести во время выполнения (см. Раздел 8 Учебное пособие Гилада Брахи по дженерикам).

public class Chainer {
  public <T extends Chainer> T doStuff (Class<T> foo) {
    /* do stuff */
    return foo.cast (this);
  }
}

public class ChainerExtender extends Chainer {
  public <T extends ChainerExtender> doOtherStuff (Class<T> foo) {
    /* do other stuff */
    return foo.cast (this);
  }
}

Итак, вызовы выглядят так:

Chainer c1 = new Chainer();
c1 = c1.doStuff (c1.getClass());
// ...
ChainerExtender ce1 = new ChainerExtender();
ce1 = ce1.doStuff (ce1.getClass()).doOtherStuff (ce1.getClass());

Одним из недостатков этого метода является то, что, если у вас есть ссылка на Chainer, вы должны явно проверить, действительно ли это объект ChainerExtender, прежде чем вызывать для него doOtherStuff. Однако это имеет смысл, поскольку попытка вызвать метод объекта Chainer во время выполнения приведет к ошибке.

Вы пробовали прямолинейный

public class Chainer
{
    public Chainer doStuff()
    {
       /* Do stuff ... */
       return this;
    }
}

public class ChainerExtender extends Chainer
{
    @Override
    public ChainerExtender doStuff()
    {
       /* Do stuff ... */
       super.doStuff();
       return this;
    }
}

В Java 5 вы можете объявить переопределяющие методы с ко-вариантами возвращаемых типов, что означает именно то, что здесь сказано: подкласс может иметь переопределяющую сигнатуру метода с более конкретным типом возвращаемого значения.

Обратите внимание, что "super. <A> doStuff ()" скомпилирует работу и. Он намекает на общие сведения о типе, которого вы ожидаете.