0

Есть полупустой класс Person с перемещающим конструктором и вторым принимающим универсальную ссылку (предполагается, что он будет использоваться для всех типов которыми можно инициализировать string), хочу, чтобы при передаче rvalue Person вызывался именно перемещающий конструктор и для этого запрещаю принимать параметры типа Person c помощью enable_if для другого конструктора. Так вот, в конструкторе выводится какой-то неведомый тип, а в main сравнение с результатом работы функции makePerson(якобы фабричная функция предоставляющая нам rvalue) происходит корректно. Почему так и как правильно? Помогите, пожалуйста. Решил написать этот код в качестве закрепления одной из глав книги Скотта Майерса (Эффективный и современный C++) и как всегда у него все круто, а у меня ничего не работает.

#include <string>
#include <utility>
#include <type_traits>

using namespace std;

class Person
{
private:
    string name;
public:
    template <typename T, typename = enable_if_t<!is_same<Person, decay_t<T>>::value>>
    Person(T&& obj) : name(forward<T>(obj)) 
    {
        cout << is_same<decay_t<T>, Person>::value << endl;
        cout << typeid(T).name() << endl;
        cout << "Cntr with forward" << endl;
    }
    Person(Person&& man) : name(move(man.name))
    {
        cout << "Moving cntr" << endl;
    }
};

Person makePerson(string name)
{
    return Person(name);
}


int main()
{
    Person me5(makePerson("f"));
    cout << is_same<typeof(makePerson("f")), Person>::value << endl;
    return 0;
}
//На консоль выводит:
//0
//NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
//Cntr with forward
//1

1 ответ 1

3

С кодом все нормально.

Вызвался первый конструктор с параметром std::string, перемещающий конструктор не вызвался из-за copy elision (который обязателен начиная с C++17).

typeid(...).name() печатает тип в нормальном виде только в MSVC, а в GCC и Clang-е результат нужно приводить в читаемый вид с помощью __cxa_demangle. Проще получить имя типа другим способом.

Еще, в C++ нет typeof. Используйте decltype.

4
  • Хорошо, понял, но все же почему внутри конструктора сравнение типов дает false, а в main true? И правильно ли я понял, что он просто пропускает создание объекта в функции и передает ее параметр сразу в конструктор?
    – Алекс
    13 июл 2020 в 17:55
  • @Алекс Я же написал, первый конструктор вызывается с параметром std::string, конечно он не равен Person. "пропускает создание объекта в функции" Не понял, какого объекта? 13 июл 2020 в 17:59
  • Я имею в виду, что без оптимизации copy elision сначала был бы создан первый объект, который возвращает функция makePerson, а потом с помощью конструктора перемещения был бы создан второй объект. До меня только сейчас дошло, что выводилось только одно сообщение о создании объекта, хотя в моей задумке их должно было быть 2. Вообщем проблема в том, что стандарт 17 года сделал этот прием из книги по более старым стандартам неочевидным. Спасибо!
    – Алекс
    13 июл 2020 в 18:09
  • @Алекс вы можете собрать программу, передав gcc флаги -std=c++14 -fno-elide-constructors 13 июл 2020 в 20:23

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.