История изменений

Исправление Kroz, 05.10.14 22:58 (текущая версия) :

Ну а push_back где?

Например, вот:

#include <iostream>
#include <type_traits>
#include <vector>

struct A { };
struct B {
        B(){};
        B(B&)=delete;
        B(B&&){};

};
struct C { C(const C&){} };

int main() {
  std::cout << std::boolalpha;
  std::cout << "is_copy_constructible:" << std::endl;
  std::cout << "int: " << std::is_copy_constructible<int>::value << std::endl;
  std::cout << "A: " << std::is_copy_constructible<A>::value << std::endl;
  std::cout << "B: " << std::is_copy_constructible<B>::value << std::endl;
  std::cout << "C: " << std::is_copy_constructible<C>::value << std::endl;

  B varB;
  std::vector<B> v;

  v.push_back(std::move(varB));

  return 0;
}

Или под "with val as argument" мы понимаем конструктор копирования или перемещения? Если моя догадка верна, то сходится. Смущает только, что никакого UB там нет, просто не компилится.

Исправление Kroz, 05.10.14 22:58:

Ну а push_back где?

Например, вот:

#include <iostream>
#include <type_traits>
#include <vector>

struct A { };
struct B {
        B(){};
        B(B&)=delete;
        B(B&&){};

};
struct C { C(const C&){} };

int main() {
  std::cout << std::boolalpha;
  std::cout << "is_copy_constructible:" << std::endl;
  std::cout << "int: " << std::is_copy_constructible<int>::value << std::endl;
  std::cout << "A: " << std::is_copy_constructible<A>::value << std::endl;
  std::cout << "B: " << std::is_copy_constructible<B>::value << std::endl;
  std::cout << "C: " << std::is_copy_constructible<C>::value << std::endl;

  B varB;
  std::vector<B> v;

  v.push_back(std::move(varB));

  return 0;
}

Или под "with val as argument" мы понимаем конструктор копирования или перемещения? Если моя догадка верна, то сходится. Смущает, что никакого UB там нет, просто не компилится.

Исправление Kroz, 05.10.14 22:56:

Ну а push_back где?

Например, вот:

#include <iostream>
#include <type_traits>
#include <vector>

struct A { };
struct B {
        B(){};
        B(B&)=delete;
        B(B&&){};

};
struct C { C(const C&){} };

int main() {
  std::cout << std::boolalpha;
  std::cout << "is_copy_constructible:" << std::endl;
  std::cout << "int: " << std::is_copy_constructible<int>::value << std::endl;
  std::cout << "A: " << std::is_copy_constructible<A>::value << std::endl;
  std::cout << "B: " << std::is_copy_constructible<B>::value << std::endl;
  std::cout << "C: " << std::is_copy_constructible<C>::value << std::endl;

  B varB;
  std::vector<B> v;

  v.push_back(std::move(varB));

  return 0;
}

Или под "with val as argument" мы понимаем конструктор копирования или перемещения?

Исходная версия Kroz, 05.10.14 22:52:

Ну а push_back где?

Например, вот:

#include <iostream>
#include <type_traits>
#include <vector>

struct A { };
struct B {
        B(){};
        B(B&)=delete;
        B(B&&){};

};
struct C { C(const C&){} };

int main() {
  std::cout << std::boolalpha;
  std::cout << "is_copy_constructible:" << std::endl;
  std::cout << "int: " << std::is_copy_constructible<int>::value << std::endl;
  std::cout << "A: " << std::is_copy_constructible<A>::value << std::endl;
  std::cout << "B: " << std::is_copy_constructible<B>::value << std::endl;
  std::cout << "C: " << std::is_copy_constructible<C>::value << std::endl;

  B varB;
  std::vector<B> v;

  v.push_back(std::move(varB));

  return 0;
}

Или под "with val as argument" мы понимает конструктор копирования или перемещения?