Справочное руководство по C++

34

    Константное выражение ($$R.5.19), которое сводится к нулю,
    преобразуется в указатель на член. Гарантируется, что его
    значение будет отлично от любых других указателей на члены.
    Указатель на член данного класса можно преобразовать в
    указатель на член производного от данного класса, при условии,
    что допустимо обратное преобразование от указателя на член производного
    класса в указатель член базового класса, и что оно выполнимо
    однозначным образом ($$R.10.1.1).
    Правило преобразования указателей на члены (т.е. от указателя на
    член базового класса к указателю на член производного класса) выглядит
    перевернутым, если сравнивать его с правилом для указателей на
    объекты (т.е. от указателя на производный объект к указателю на
    базовый объект) ($$R.4.6, $$R.10). Это необходимо для гарантии
    надежности типов.
    Отметим, что указатель на член не является указателем на объект
    или указателем на функцию и правила преобразований таких указателей
    не применимы для указателей на члены. В частности указатель на член
    нельзя преобразовать в void*.
    R.5 Выражения
    Здесь определяются синтаксис, порядок вычисления и назначение