在模板函數和const quailifier

Question

型扣我有下面這段C++ 11碼：

#include <iostream> 

struct object { 
    void talk(const char* text) const { std::cout << "talk " << text << std::endl; } 
}; 

void makeItTalk(object& obj) { obj.talk("non-const"); } 
void makeItTalk(const object& obj) { obj.talk("const"); } 

template<typename P> void f(P&& p) { 
    makeItTalk(std::forward<P>(p)); 
} 


int main() { 

    const object obj; 
    f(obj); 

    return 0; 
} 

運行時我得到talk const這是它應該是什麼，但我想知道如何作品。從我讀到目前爲止const-qualifier在模板扣除中被忽略。由於obj是const object&型的，我們有一個P&&爲f參數我會想到的是，模板參數解析爲object&以來& && = &功能f應該成爲

void f(object& p) { makeItTalk(std::forward<object&>(p)); } 

但這種功能甚至不允許被稱爲對於obj。所以我想知道如果我錯誤地說const被忽略？

Answer 1

據我瞭解，當函數模板接受指針或引用參數時，類型推導不會忽略const限定符。頂層常量被刪除，但不是指向或引用的常量。

更廣泛的爭論可以在這裏找到：http://cpp-next.com/archive/2011/04/appearing-and-disappearing-consts-in-c/