PHP 8.4 Асимметричная видимость свойства с установленным только в детском классе - невозможно? ⇐ Php

[Anonymous]

При моделировании дерева типов в моем коде я наткнулся на случай, который кажется невозможным в системе типа PHP 8.4. Пример, подобный ниже, работает отлично: < /p>

Код: Выделить всё

interface Variable {
public string|int|float $value { get; } //wide typedef for various types
}

abstract class NumericVariable implements Variable {
abstract public int|float $value { get; } //narrows type to only numbers
}

class FloatVariable extends NumericVariable {
public int $value; //narrows further to just ints
}

Однако я, кажется, не могу создать конкретный класс, который предоставляет свойство, которое обещает читать как минимум int | float , но тот, который может быть дополнительно суженен/ковариант в отношении его установки. Что-то вроде ниже в псевдокоде: < /p>

Код: Выделить всё

class NumericVariable implements Variable {
public(get) int|float $value;
}

Я, очевидно, попробовал private (set) , но он, естественно, не работает, как детский класс, который сужает тип, нарушает ковариацию сеттеров, как частное (set) означает, что родитель полагается на настройку переменной, по крайней мере, Int | float>.
- что -то вроде как что -то вроде (Readonly) .
. Синтаксис?

Подробнее здесь: https://stackoverflow.com/questions/796 ... impossible