Annex D (normative) Compatibility features [depr]

D.8 Old adaptable function bindings [depr.func.adaptor.binding]

D.8.1 Weak result types [depr.weak.result_type]

1
#

А call wrapper может иметь weak result type. Если это так, тип его типа члена result_­type основан на типе T целевого объекта оболочки:

  • (1.1)

    если T - указатель на тип функции, result_­type должен быть синонимом возвращаемого типа T;

  • (1.2)

    если T - указатель на функцию-член, result_­type должен быть синонимом возвращаемого типа T;

  • (1.3)

    если T это тип класса, а qualified-id T​::​result_­type действительный и обозначает тип ([temp.deduct]), то result_­type должен быть синонимом для T​::​result_­type;

  • (1.4)

    иначе result_­type не определяется.