ってことで規格を signature あたりで検索したら、あった。 17.4.4.4p2 > An implementation can declare additional non-virtual member function signatures within a class: > ? by adding arguments with default values to a member function signature;172) The same latitude does not > extend to the implementation of virtual or global or non-member functions, however. > ? by replacing a member function signature with default values by two or more member function signatures > with equivalent behavior; んで脚注 172 に > 172) Hence, taking the address of a member function has an unspecified type.