Это не значит, что std::make_pair
предназначен для использования; вы не должны явно указывать аргументы шаблона.
C ++ 11 std::make_pair
принимает два аргумента типа T&&
и U&&
, где T
и U
являются шаблонами типа. Фактически, он выглядит так (игнорируя возвращаемый тип):
template <typename T, typename U>
[return type] make_pair(T&& argT, U&& argU);
Когда вы вызываете std::make_pair
и явно указываете аргументы типа шаблона, дедукция аргументов не происходит. Вместо этого аргументы типа заменяются непосредственно в объявлении шаблона, давая:
[return type] make_pair(std::string&& argT, int&& argU);
. Обратите внимание, что оба этих типа параметров являются ссылками rvalue. Таким образом, они могут связываться только с rvalues. Это не проблема для второго аргумента, который вы передаете, 7
, потому что это выражение rvalue. s
, однако, является выражением lvalue (оно не является временным и не перемещается). Это означает, что шаблон функции не соответствует вашим аргументам, поэтому вы получаете ошибку.
Итак, почему это работает, когда вы явно не указываете, что T
и U
являются в списке аргументов шаблона? Короче говоря, ссылочные параметры rvalue являются особыми в шаблонах. Отчасти благодаря языковой функции, названной ссылкой, коллапсирующей , ссылочный параметр rvalue типа A&&
, где A
является параметром типа шаблона, может связываться с любым типом A
.
Не имеет значения, является ли A
значением lvalue, rvalue, const-квалифицированным, нестабильным или неквалифицированным, A&&
может привязываться к этому объекту (опять же, если и только если A
сам является параметром шаблона).
В вашем примере мы вызываем вызов:
make_pair(s, 7)
Здесь s
является lзначением типа std::string
и 7
- значение типа int
. Поскольку вы не указываете аргументы шаблона для шаблона функции, выполняется вывод аргумента шаблона, чтобы выяснить, что представляют собой аргументы.
Чтобы связать s
, lvalue, с T&&
, компилятор выводит T
будет std::string&
, давая аргумент типа std::string& &&
. Однако ссылок на ссылки нет, поэтому эта «двойная ссылка» рушится, чтобы стать std::string&
. s
является совпадением.
Проще связывать 7
с U&&
: компилятор может вывести U
как int
, давая параметр типа int&&
, который связывает успешно 7
, потому что это rvalue.
Есть много тонкостей с этими новыми языковыми особенностями, но если вы выполните одно простое правило, это довольно просто:
Если аргумент шаблона можно вывести из аргументов функции, пусть это будет выведено. Не указывайте явно аргумент, если вы абсолютно не обязаны.
Пусть компилятор выполнит тяжелую работу, и в 99,9% случаев это будет именно то, что вы хотели в любом случае. Когда это не то, что вы хотели, вы обычно получаете ошибку компиляции, которую легко идентифицировать и исправить.
blockquote>
Вы возвращаете модель как объект типа MBilling
, но используете ее как IEnumerable<MBilling>
в представлении.
Вам не нужно IEnumerable<T>
здесь, так как оно не перечисляемо . Так что убери его и просто сделай:
@model Shop.Models.MBilling