evrensel başvuru vs const başvuru önceliği?

Question

İki aşağıdaki aşırı yükleri bakmak gerekirse:

template <class... T> void f(const T&... x); 
template <class T> void f(const T& x); 

Ben f(x) her zaman ikinci işlevini çağırır ve bir belirsizliğe yol asla garantisi var. Bir anlamda, ikinci versiyon, türü ne olursa olsun, bir argüman için birinci olana göre evrensel olarak önceliklendirilir. Bu iki fonksiyon arasında evrensel bir öncelik bakılmaksızın x türünden (onların geçerli:

template <class T> void f(T&& x); 
template <class T> void f(const T& x); 

Sorum şu:

Şimdi evrensel bir referans ve bir fonksiyonun const referans versiyonları var durum dikkate r-değeri referansı, referans, cv-niteleyiciler, işaretçi ...) önceki durumda olduğu gibi? (ve eğer evet ise, öncelik nedir?)

Answer 1

Bu iki işlev arasında evrensel bir öncelik yoktur. Aşırı yük çözünürlüğü algoritmasında eşit olarak rekabet ederler. Genel olarak, sözde "evrensel referans", const T& tam olarak eşleşmediği sürece kazanır ve const T& kazanır.

struct A {}; 

int 
main() 
{ 
    f(std::declval<A>()); // calls f<A>(A&&), #1 
    f(std::declval<const A>()); // calls f<const A>(const A&&), #1 
    f(std::declval<A&>()); // calls f<A&>(A&), #1 
    f(std::declval<A&&>()); // calls f<A>(A&&), #1 
    f(std::declval<const A&&>()); // calls f<const A>(const A&&), #1 
    f(std::declval<const A&>()); // calls f<A>(const A&), #2 
} 

İyi tavsiye böyle asla aşırı etmektir.