E
template<typename ... Types>
class Foo {
public:
template <typename T>
Foo(T&& t) : value(std::forward<T>(t)) {}
private:
variant<Types ...> value;
};
будет ли означать что тип T из Types, или может быть не оттуда?
Size: a a a
2020 August 22
ПК
будет ли означать что тип T из Types, или может быть не оттуда?
Если будет левым, то не скомпилируется
D
будет ли означать что тип T из Types, или может быть не оттуда?
Может быть левым, тогда не скомпилится
D
В стандарте же нет трейта, который проверяет что тип является одним из в вариадик пака?
D
Самому костылить?
Е
В стандарте же нет трейта, который проверяет что тип является одним из в вариадик пака?
вроде нет
E
template<typename ... Types>
class Foo {
public:
template <typename T>
Foo(T&& t) : value(std::forward<T>(t)) {}
private:
variant<Types ...> value;
};
forward здесь нужен чтобы некопировать t?
Е
ща мб через conditional закостылю
ладно без больших костылей это видимо не сделать
ПК
forward здесь нужен чтобы некопировать t?
Нет, чтобы форварднуть аргумент
E
Нет, чтобы форварднуть аргумент
я знаю про move и rvalue reference, где почитать что значит форварднуть аргумент?
AF
я знаю про move и rvalue reference, где почитать что значит форварднуть аргумент?
В разделе про forwarding reference
LA
я знаю про move и rvalue reference, где почитать что значит форварднуть аргумент?
В Мейерсе
D
std::move это безусловный каст к r-value referencestd::forward это каст к левой ссылке, если в функцию пришла левая ссылка и к правой ссылке, если пришла праваяE
спасибо!
Е
ладно без больших костылей это видимо не сделать
ужасно https://godbolt.org/z/8aEdjP
Е
а когда-то планируют завести
using Types = Args...?D
D
Только синтаксис
using... Types = Args...;Е
D
тогда и
using Types = Args1..., Args2..., Args3...; добавьПонятное дело