No Member-Function to Pointer-to-Member-Function Conversion

Does you compiler accept the following code?

   class A  {    public:    void f(int);  };  void (A::*pm)(int) = A::f; // #1 no ampersand before A::f

A standard-compliant compiler should flag line #1 as an error. Let’s examine it in further detail to see why. The expression A::f is called a qualified-id. A qualified-id denotes a member of a class. According to the C++ standard, there is no implicit conversion from a qualified-id denoting a member function to the type “pointer to member function”. In other words, an ampersand must appear before the qualified-id if you want to take the address of the member function. For example:

   void (A::*pm)(int) = &A::f; // now OK

Programmers who are new to the concept of pointers to members are often confused by this subtlety. After all, when dealing with ordinary functions, implicit conversion from a function type to the type “pointer to function” does exist:

   void g();  void (*pf) () = g; // OK, implicit conversion of g to &g

However, there are many differences between a qualified-id and a plain function’s name. Enabling implicit conversion of a qualified-id to a member function’s address can therefore cause confusion and ambiguities. To avoid this, C++ requires that a class member’s address be taken explicitly by preceding an ampersand to the qualified-id. Even if your compiler happens to accept the code in line #1, you should add an ampersand to avoid maintenance problems in the future, and to make your code more readable.

Share the Post:
Share on facebook
Share on twitter
Share on linkedin

Overview

The Latest

your company's audio

4 Areas of Your Company Where Your Audio Really Matters

Your company probably relies on audio more than you realize. Whether you’re creating a spoken text message to a colleague or giving a speech, you want your audio to shine. Otherwise, you could cause avoidable friction points and potentially hurt your brand reputation. For example, let’s say you create a

chrome os developer mode

How to Turn on Chrome OS Developer Mode

Google’s Chrome OS is a popular operating system that is widely used on Chromebooks and other devices. While it is designed to be simple and user-friendly, there are times when users may want to access additional features and functionality. One way to do this is by turning on Chrome OS

homes in the real estate industry

Exploring the Latest Tech Trends Impacting the Real Estate Industry

The real estate industry is changing thanks to the newest technological advancements. These new developments — from blockchain and AI to virtual reality and 3D printing — are poised to change how we buy and sell homes. Real estate brokers, buyers, sellers, wholesale real estate professionals, fix and flippers, and beyond may