Что такое contravariance?

[Mayor]

При поиске синтаксиса указателя на метод с++ объекта столкнулся с термином contravariance ....

Что это такое?

К какой области компьютерных наук относится\определен?

P.S. пробовал почитать про него в Википедии, оказалось слишком непонятно написано.

[Вад]

В недрах RSDN-а нашёл лаконичное объяснение этих понятий:

Ковариантность — это когда неявное ссылочное преобразование у сконструированных типов действует в ту же строну, что и у типов-аргументов. Контравариатность (противо-вариантность) — когда в противоположную (например, если IConsumer<object> можно неявно привести к IConsumer<string>).

То есть, контравариантность применительно к типам - это возможность неявного приведения к подтипу.

[Mayor]

те если я правильно понял:

class B: public A {};
void f(B* pb){ A* pa=pb } // пример ковариантности?

иными словами операция = в отношении lvalue указателя ковариантна?

а как тогда выглядит контрвариантный объект в коде?

[Вад]

операция = в отношении lvalue указателя ковариантна?

Скорее, система типов в целом ковариантна, поскольку позволяет неявно приводить к предку, обеспечивая то, что при поиске подходящей реализации оператора будет найден A::operator=(const& A) (или какой он там).

Контравариантность - наверное, что-то вроде

Код:

template <class Child>
class A {
public:
    // ну например
    Child Foo(){ return *this; }
};

class B: public A<B>
{
public:
    B(A<B>& parent){ /*...*/ }
};

WTL, например, широко практикует подобную технику "родитель знает о ребёнке".

[Mayor]

вроде, что такое ковариантность теперь понял, во всяком случае

Скорее, система типов в целом ковариантна, поскольку позволяет неявно приводить к предку...

понятнее, цитаты рсдн

насчет контрвариантности, меня терзает смутное сомнение, что она имеет какое-то логическое отношение к указателю на член класса - но какое я пойму, имхо, только после прочтения александреску

зы логическое рассуждения типа: контравариантность это неявное приведение предка к потомку - высаживает мозг полностью

[Вад]

зы логическое рассуждения типа: контравариантность это неявное приведение предка к потомку - высаживает мозг полностью

Ну, такое может быть для случаев:

Код:

class A {};

class B : public A
{
public:
    B(const A&){} // конструктор B с параметром A
}

void foo(B value);
foo( A() );

или, скажем, можно сделать это преобразование прямо частью предка.

Код:

class A 
{
public:
    template<class T> T* getChild(){ return dynamic_cast<T*>(this); }
}

или использовать более хитрую проверку наследуемости, как у того же Александреску. В любом случае, задать оператор преобразования типа A в тип B : public A