Existe alguma forma de usar template como tipo em um map no C++17?
template<typename T>
std::map<std::string, T/* tipo desconhecido, pode ser qualquer tipo */> map_exemplo;
c++17 introduziu o tipo std::any
, um contêiner capaz de guardar objetos de qualquer tipo*. Exemplos:
#include <any>
#include <string>
int main() {
std::any a = 42; // int
a = 3.14f; // float
a = true; // bool
a = std::string("Hello, World!"); // std::string
}
Você pode resgatar o valor de um std::any
para o seu tipo original com std::any_cast
.
No seu problema, o tipo do valor de elemento do map_exemplo
poderia ser definido como std::any
, então toda vez que criar uma nova entrada no map_exemplo
, o tipo do elemento não importará. Como nem tudo é um mar de rosas, entretanto, para iterar sobre os elementos desse contêiner, você terá de codificar os tipos que espera que os elementos tenham:
#include <map>
#include <any>
#include <string>
int main() {
std::map<std::string, std::any> map_exemplo;
map_exemplo["a"] = 42;
map_exemplo["b"] = 3.14f;
map_exemplo["c"] = true;
for (const auto &[chave, valor] : map_exemplo) {
if (auto ptr = std::any_cast<int*>(&valor)) {
// ...
}
else if // ...
}
}
O propósito de std::any
está mais voltado para substituir o uso do tipo void *
para guardar dados do usuário. No seu caso, o tipo std::variant
serviria melhor para suas necessidades, pois com ele dá pra definir quais tipos são esperados, e o acesso aos objetos é feito com std::visit
:
#include <map>
#include <variant>
#include <string>
#include <cstdio>
// Classe ajudante para sobrecarregar lambdas.
template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;
int main() {
std::map<std::string, std::variant<int, float, bool>> map_exemplo;
map_exemplo["a"] = 42;
map_exemplo["b"] = 3.14f;
map_exemplo["c"] = true;
for (const auto &[chave, valor] : map_exemplo) {
std::visit(overloaded {
[] (int i) { std::printf("int: %d\n", i); },
[] (float f) { std::printf("float: %f\n", f); },
[] (bool b) { std::printf("bool: %s\n", b ? "true" : "false"); }
}, valor);
}
}
* Algumas regras aplicam-se aqui para que um objeto possa ser guardado por um std::any
, como, por exemplo, satisfazer o requirimento de ser construtivo.
constexpr
, exceto pelos ctor de cópia.
Commented
3/10/2018 às 3:20
map
.