Подскажите, может ли указатель на функцию член класса быть вызван для не полных типов? По логике - да, так как в контексте передаётся указатель на неполный тип и указатель на функцию, первым параметром принимающей указатель на неполный тип (так как она член этого типа).
An incomplete type is a type that describes an identifier but lacks information needed to determine the size of the identifier. An incomplete type can be:
A structure type whose members you have not yet specified.
To create an incomplete structure type, declare a structure type without specifying its members. In this example, the ps pointer points to an incomplete structure type called student.
Подскажите, может ли указатель на функцию член класса быть вызван для не полных типов? По логике - да, так как в контексте передаётся указатель на неполный тип и указатель на функцию, первым параметром принимающей указатель на неполный тип (так как она член этого типа).
Простите, я не понял вопрос. Что хотим сделать с указателем на метод класса?
Подскажите, может ли указатель на функцию член класса быть вызван для не полных типов? По логике - да, так как в контексте передаётся указатель на неполный тип и указатель на функцию, первым параметром принимающей указатель на неполный тип (так как она член этого типа).
Вроде бы не может, потому что непонятно, где искать vtbl
Подскажите, может ли указатель на функцию член класса быть вызван для не полных типов? По логике - да, так как в контексте передаётся указатель на неполный тип и указатель на функцию, первым параметром принимающей указатель на неполный тип (так как она член этого типа).
Если указатель на член инициализирован, тип полный - ведь адреса членов берутся из типа
Вот, наклипал. https://godbolt.org/z/MX4dbA Меня интересует, должен ли storage_t::operator() быть определён после определения control_block или можно и в теле?