Конечно нужно, по идее. Вроде Майкрософт провозгласил, что в 2013 студии будет поддержка С++11 (лучше поздно, чем никогда
). Но вот тут сразу обнаружился баг, который как-то умерил мой позитивный настрой относительно MSVS 2013.Проблема первая: вместо SDK, с набором заголовочников и библиотек, как положено (как было до 2010 студии включительно, например, в SDK 7.0A), в SDK теперь лежит нечто невнятного вида и непонятного содержания. То есть, использовать это нечто вместе со сторонними средствами разработки (вроде Code::Blocks) либо невозможно, либо затруднительно. Я пока не нашла метод, как заставить новый компилятор жрать это нечто, которое теперь лежит в SDK вместо привычных библиотек и заголовочников, из командной строки. Возможно, я всё-таки доковыряю этот вопрос. Это не фатально, хотя самой студией я пользоваться не люблю.
Фатально другое. Я в первый же день использования новой студии, на первом же проекте наступила в какашку: нашла странный баг с variadic templates.
Баг заключается в следующем: parameters pack предполагает несколько параметров, причём ноль (отсутствие) параметров тоже считается подходящим шаблону. Это по стандарту. На деле, когда берёшь простой пример, например:
class foo {
public:
template <class T, class... Other>
foo(T param, Other ...other) { }
};
int main()
{
foo bar(10);
}Всё хорошо компилится, как и следовало ожидать. Отсутствие аргументов у parameters pack - это нормально, это соответствует стандарту. И это работает правильно.
А теперь делаем маленькую модификацию, т.н. perfect forwarding c rvalue-ссылками (полезная и необходимая фича при форварде сложных типов):
class foo {
public:
template <class T, class... Other>
foo(T&& param, Other&& ...other) { }
};
int main()
{
foo bar(10);
}И вот тут программиста подстерегает баг: код не компилируется!
Почему? Потому что копилятор создаёт свой конструктор копии типа foo::foo(const foo& copy) и дальше просто игнорирует законный юзерский темплейт-конструктор. Зато пытается привести десятку к типу const foo&, на чём, собственно, и обламывается. С какого хрена он его игнорирует, мне пока непонятно. Но самое смешное (и печальное) заключается в том, что никак нельзя сказать компилятору выкинуть свои самодельные конструкторы на помойку. Оказалось, что майкрософт просто игнорирует декларацию =delete, например. И код
class foo {
...
foo(const foo&)=delete;
...
};вас не спасёт.
И не спасёт даже объявление конструктора копии приватным членом класса! Что вообще как-то плохо согласуется с логикой. Код всё равно не компилируется.
Такая вот фигня. И как её обойти - я не знаю. Похоже, надо ждать ещё года два, пока Майкрософт выпустит пару десятков патчей и доведёт компилятор до рабочего состояния
Остальные проверенные мною компиляторы понимают этот код нормально, без каких-то особых затруднений. Этот глюк касается только Майкрософта, MSVS 2013.
