есть же логово разрабов gcc. задай там вопрос ибо выглядит даже не как баг а как лютый баг.

Фича

#include <vector>

const size_t i = 20;


int main()
{
    auto p = std::make_pair(nullptr, i); // works OK again
    //auto p = std::pair<void*, size_t>(nullptr, i); //works
}

Обычно в таких случаях надеются на автоматическое выведение аргументов шаблонной функции, но ты указал их явно. И вместо универсальной ссылки во втором аргументе получил std::size_t&&. Отсюда и

cannot bind rvalue reference of type 'long unsigned int&&' to lvalue of type 'const size_t' {aka 'const long unsigned int'}

Да ты же поехавший - ты в этом еще и знамение СЖВ увидел.

Фича, std::make_pair сделано для того, чтоб автоматически определять тип результирующего std::pair (посредством template type deduction).

std::make_pair использует так называемую universal (aka forwarding) reference: T&&. Такая ссылка «схлопывается» по особым правилам: https://isocpp.org/blog/2012/11/universal-references-in-c11-scott-meyers

Специализируя std::make_pair ты нарушаешь его семантику. Т.е. вместо forwarding reference твоя специализация принимает rvalue reference.

auto p = std::make_pair(nullptr, i); // works OK again

И каким будет тип p? :)

да, всё норм.

Просто прочти ошибку компилятора:

невозможно преобразовать аргумент 2 из "const size_t" в "size_t &&"

И каким будет тип p? :)

есть IDE, просто наведи на переменную:

https://imgur.com/a/ez3CW60

Ты с чем-то несогласен или ты просто хочешь взвалить это на мои хрупкие юношеские плечи?

намекает что первый тип будет не void*, а nullptr_t

okay.jpg

Ок. Хрен бы знал, правда, где я утверждал обратное.

auto p = std::make_pair(nullptr, i); // works OK again

Очевидно, что это не то что я хочу. Я пример утрировал. Просто показалось забавным такое поведение, оно не то чтобы очевидно=)

Забавно, спасибо. Век живи, век учись. Просто уже после умных указательей привычка использовать make_blabla как более выскоуровневый инструмент, чем конструктор напрямую. Но в целом здесь мне make_pair и не нужен, конструктор подходит. Топик создал из любопытства.

make_blabla как более выскоуровневый инструмент, чем конструктор напрямую.

В С++17, кстати, появились template deduction guidelines, так что теперь в большинстве случаев std::make_pair не нужен (т.е. можно писать std::pair{first, second}).

Это я знаю=) Но здесь мне как раз это не нужно, я не просто так пытался явно make_pair специализировать. Ну да ладно=)

Похоже, твой мозг схлопнулся

Такая ссылка «схлопывается» по особым правилам

Все ссылки «схлопываются» по одинаковым правилам.

Для forwarding ссылок особое правило вывода типа: для lvalue аргументов используется не тип аргумента A, а A&:

https://timsong-cpp.github.io/cppwp/n4659/temp.deduct.call#3

If P is a forwarding reference and the argument is an lvalue, the type “lvalue reference to A” is used in place of A for type deduction.