Как я автокорректирую размер QDialog в зависимости от текстовой длины одного из ее детей?

Благодаря ответам Донроби и Дэвида, я думаю, что я понимаю, что основная проблема с введением контрастной дисперсии параметра - интеграция с механизмом перегрузки .

Таким образом, проблема не только с одним переопределением для нескольких методов, но и с другой стороны:

class A {
    public void f(String s) {...}
}

class B extends A {
    public void f(String s) {...} // this can override A.f
    public void f(Object o) {...} // with contra-variance, so can this!
}

И теперь есть два допустимых переопределения для одного и того же метода:

A a = new B();
a.f(); // which f is called?

Кроме проблем с перегрузкой, я не мог думать ни о чем другом.

Редактировать: С тех пор я нашел эту запись C ++ FQA (20.8) , которая согласуется с вышесказанным - наличие перегрузки создает серьезную проблему для противоречивости параметров.