Tại sao khấu trừ đối số mẫu không thành công cho hàm thành viên?

Question

Với g ++ 5.4, đây

struct B { 
    void f() {} 
}; 

struct D : public B { 
    void g() {} 
}; 

template <class T> 
void foo(void (T::*)(), void (T::*)()) 
{} 

int main() 
{ 
    foo(&D::f, &D::g); 
} 

thất bại do "loại mâu thuẫn suy luận cho thông số‘T’(‘B’và‘D’)". Tại sao T không được suy ra như D, là một trận đấu chính xác?

Answer 1

Ngoài VTT's excellent demonstration. Các văn bản chuẩn trong câu hỏi, tôi tin rằng, là tại [expr.unary.op]/3, tôi nhấn mạnh:

Kết quả của & hành unary là một con trỏ đến toán hạng của nó. Toán hạng phải là một giá trị hoặc một id đủ điều kiện. Nếu toán hạng là id đủ điều kiện đặt tên cho thành viên không tĩnh hoặc biến thể m của một số loại C với loại T, kết quả có loại "con trỏ tới thành viên của loại C loại T" và là giá trị chỉ định C :: m.

id đủ điều kiện bạn sử dụng là D::f, nhưng nó tên một hàm thành viên của B (tôi có thể đưa lên các quy tắc tra cứu nếu bạn muốn). Vì vậy, loại lớp C trong đoạn trên, là B. Do đó, loại này giải quyết thành void (B::*)(void).

Answer 2

Loại &D::f sẽ void (B::*)(void)

static_assert(::std::is_same<void (B::*)(void), decltype(&D::f)>::value, ""); 
static_assert(::std::is_same<void (D::*)(void), decltype(&D::f)>::value, ""); // error 
static_assert(::std::is_same<void (D::*)(void), decltype(&D::g)>::value, ""); 

Lý do đằng sau này là nếu không bạn sẽ không thể gán một giá trị cho một biến &D::f của void (B::*)(void) loại mà không có một dàn diễn viên mặc dù f là một thành viên của B hoặc so sánh &D::f == &B::f.

Là một workaround bạn có thể thực hiện một static_cast:

foo(static_cast<void (D::*)(void)>(&D::f), &D::g);