Как документировать/утверждать, когда наследование вызывает предварительное условие только для некоторых конечных типов

Рассмотрим этот простой базовый класс Foo, имеющий функцию foo, вызывающую чистую виртуальную функцию foo_, задокументированную с помощью Doxygen:

class Foo
{
  public:
    /** \brief This function logs x and does the job */
    void foo(double x);
  protected:
    /** \brief This function does the job */
    virtual void foo_(double x) = 0;
};

void Foo::foo(double x)
{
  std::clog << "'Foo::foo(double x)' is called with x = " << x << std::endl;
  this->foo_(x);
}

У меня нет предварительных условий для документирования этого абстрактного класса.

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

class Bar : public Foo
{
  public:
    /**
     * \brief This function does the job
     * \pre   x must be greater or equal to 0
     */
    virtual void foo_(double x);
};

void Bar::foo_(double x)
{
  assert(x >= 0.0 && "PRE: x can't be negative");
  // Do the job
}

Теперь у меня есть предварительное условие для x, когда я вызываю foo_, который вызывается foo. Затем у меня есть предварительное условие для foo в зависимости от конечного типа.

Некоторые вопросы :

1. Должен ли я добавить предварительное условие в Foo::foo независимо от окончательного типа? Это выглядит логично, если пользователь никогда не знает окончательный тип, когда он использует класс. Но пользователь также может иметь другой класс Baz, производный от Foo без каких-либо предварительных условий, и явно вызывать Baz::foo(double) с отрицательными значениями. Это не должно быть проблемой.
2. В моем представлении о полиморфизме класс Foo не должен ничего знать о своих потомках, тогда предусловия быть не может. Но пользователю материнского класса не обязательно знать дочерние элементы, чтобы использовать этот класс. Как разрешить это противоречие?
3. Есть ли особый (/лучший) способ задокументировать такие вещи с помощью Doxygen?