NM
Size: a a a
2020 July 23
NM
Д
Привет всем ещё раз)) Можно ли как-то сделать мапу, в которой ключ был бы int, а значение некий тип, который я мог бы потом вытащить?
Например:
Например:
pair p{1, Type<int>} -> p.second()::type
Д
Важная деталь, что типы разные
АК
Привет всем ещё раз)) Можно ли как-то сделать мапу, в которой ключ был бы int, а значение некий тип, который я мог бы потом вытащить?
Например:
Например:
pair p{1, Type<int>} -> p.second()::type
template <class T>
struct Type {};
std::pair<int, Type<int>>{ 1, {} }, но тип каждой пары будет разным в зависимости от Type<T>АК
в C++ нет динамической типизации
АК
Привет всем ещё раз)) Можно ли как-то сделать мапу, в которой ключ был бы int, а значение некий тип, который я мог бы потом вытащить?
Например:
Например:
pair p{1, Type<int>} -> p.second()::type
а вообще, такой "динамический"
Type реализуется через засовывание в std::function<void()> логики, которую необходимо сделать с конкретным типом позднее (type erasure)AS
Привет всем ещё раз)) Можно ли как-то сделать мапу, в которой ключ был бы int, а значение некий тип, который я мог бы потом вытащить?
Например:
Например:
pair p{1, Type<int>} -> p.second()::type
#include <any>
#include <iostream>
#include <map>
#include <string>
int main() {
std::map<int, std::any> m;
m[1] = std::string("hello");
m[2] = 10.0;
m[3] = 20;
std::cout << std::any_cast<std::string>(m[1]);
std::cout << std::any_cast<double>(m[2]);
std::cout << std::any_cast<int>(m[3]);
}
AS
и читай про std::any
AS
если ты имеешь дело с фиксированным набором типов, то вместо std::any используй std::variant
Д
Задача в том, что есть некая функция, которая с помощью шаблона принимает тип, а потом кастит данные к нему. Прикол в том, что сам тип данных неизвестен, но есть их индификатор. Допустим, есть enum с переменной INT = 1. Я знаю по индификатору, что лежит в моих данных, мне остается их прикастовать. И я хотел создать некую мапу, где ключом будет enum, а значение тип
Д
Но видимо, это все же невозможно
AS
Задача в том, что есть некая функция, которая с помощью шаблона принимает тип, а потом кастит данные к нему. Прикол в том, что сам тип данных неизвестен, но есть их индификатор. Допустим, есть enum с переменной INT = 1. Я знаю по индификатору, что лежит в моих данных, мне остается их прикастовать. И я хотел создать некую мапу, где ключом будет enum, а значение тип
а прикастовать к чему? std::any - очень похоже делает, это type erasure над произвольным типом, как std::function для функций, это для данных
ip
Задача в том, что есть некая функция, которая с помощью шаблона принимает тип, а потом кастит данные к нему. Прикол в том, что сам тип данных неизвестен, но есть их индификатор. Допустим, есть enum с переменной INT = 1. Я знаю по индификатору, что лежит в моих данных, мне остается их прикастовать. И я хотел создать некую мапу, где ключом будет enum, а значение тип
Ты пишешь что-то типо name_cast() ?
ip
Если да, то вот что-то похожее я писал когда-то
template <Scale To, Scale From>
struct ConversionTraits {
static temperature_t convert(const temperature_t value) = delete;
};
template <>
struct ConversionTraits<Scale::kCelsius, Scale::kFahrenheit> {
static temperature_t convert(const temperature_t value) {
return value * 9 / 5 + 32;
}
};
template <>
struct ConversionTraits<Scale::kFahrenheit, Scale::kCelsius> {
static temperature_t convert(const temperature_t value) {
return (value - 32) * 5 / 9;
}
};
template <Scale To, Scale From>
constexpr Quantity<To> temperature_cast(const Quantity<From>& t) {
return Quantity<To>(ConversionTraits<From, To>::convert(static_cast<temperature_t>(t)));
}Д
а прикастовать к чему? std::any - очень похоже делает, это type erasure над произвольным типом, как std::function для функций, это для данных
Да, как в std::any_cast. Только в том примере я явно указываю тип, а я хотел бы получать этот тип с попощью некого другого значения. std::any_cast<list_types(INT)::type>(m[1]); Типа такого
Д
Ты пишешь что-то типо name_cast() ?
Не, я просто не хотел писать switch(value) case INT: storage.get_value<int>()
Д
Не, я просто не хотел писать switch(value) case INT: storage.get_value<int>()
хотя, может это так и называется)
AS
Не, я просто не хотел писать switch(value) case INT: storage.get_value<int>()
если значение value известно будет только в рантайме, то никакой шаблонной магии не выйдет.
AS
одно дело
cast<INT>(storage)и другое дело void func(int type) {..,..}