Можно ли объединить их все в два функциональных шаблона (один для 1D-контейнеров, другой для 2D-контейнеров)?
Да ... требуется немного работы, но относительно просто.
Возможно, есть более простые методы, но я предлагаю создать черты нестандартного типа, которые проверяют, является ли шаблон-шаблон std::vector
или QVector
template <template <typename...> class>
struct isVector : public std::false_type
{ };
template <>
struct isVector<std::vector> : public std::true_type
{ };
template <>
struct isVector<QVector> : public std::true_type
{ };
Следующие особенности другого пользовательского типа, чтобы проверить, является ли тип типом с плавающей запятой типа std::complex<T>
template <typename T>
struct isCFloating : public std::is_floating_point<T>
{ };
template <typename T>
struct isCFloating<std::complex<T>> : public std::true_type
{ };
Теперь вы можете написать вектор-векторную версию (этот перехват также смешанный std::vector
/ QVector
case) следующим образом
template <template <typename ...> class V1,
template <typename ...> class V2, typename T>
auto loadData (V1<V2<T>> & v, std::string fn)
-> std::enable_if_t< isVector<V1>::value
&& isVector<V2>::value
&& isCFloating<T>::value>
{
std::cout << "- vector of vector version, " << fn << std::endl;
}
и после этого простая векторная версия (которая оборачивает первый аргумент и вызывает версию вектора-вектора) становится
template <template <typename ...> class V, typename T>
auto loadData (V<T> & v, std::string fn)
-> std::enable_if_t<isVector<V>::value && isCFloating<T>::value>
{
std::cout << "- vector version, " << fn << std::endl;
V<V<T>> vv{1, v};
loadData(vv, fn);
}
Я подготовил следующий полный рабочий пример, но (извините), на данный момент у меня нет доступной платформы QT, поэтому я добавил фальшивку QVector
#include <vector>
#include <complex>
#include <iostream>
#include <type_traits>
// fake QVector
template <typename>
struct QVector
{
template <typename ... Ts>
QVector (Ts const & ...)
{ }
};
template <template <typename...> class>
struct isVector : public std::false_type
{ };
template <>
struct isVector<std::vector> : public std::true_type
{ };
template <>
struct isVector<QVector> : public std::true_type
{ };
template <typename T>
struct isCFloating : public std::is_floating_point<T>
{ };
template <typename T>
struct isCFloating<std::complex<T>> : public std::true_type
{ };
template <template <typename ...> class V1,
template <typename ...> class V2, typename T>
auto loadData (V1<V2<T>> & v, std::string fn)
-> std::enable_if_t< isVector<V1>::value
&& isVector<V2>::value
&& isCFloating<T>::value>
{
std::cout << "- vector of vector version, " << fn << std::endl;
}
template <template <typename ...> class V, typename T>
auto loadData (V<T> & v, std::string fn)
-> std::enable_if_t<isVector<V>::value && isCFloating<T>::value>
{
std::cout << "- vector version, " << fn << std::endl;
V<V<T>> vv{1, v};
loadData(vv, fn);
}
int main ()
{
std::vector<float> vf;
std::vector<std::complex<float>> vc;
std::vector<std::vector<double>> vvf;
std::vector<std::vector<std::complex<double>>> vvc;
QVector<long double> qf;
QVector<std::complex<long double>> qc;
QVector<QVector<float>> qqf;
QVector<QVector<std::complex<float>>> qqc;
loadData(vf, "case 1");
loadData(qf, "case 2");
loadData(vc, "case 3");
loadData(qc, "case 4");
loadData(vvf, "case 5");
loadData(qqf, "case 6");
loadData(vvc, "case 7");
loadData(qqc, "case 8");
// extra cases: mixing std::vector and QVector
std::vector<QVector<double>> vqf;
std::vector<QVector<std::complex<double>>> vqc;
QVector<std::vector<long double>> qvf;
QVector<std::vector<std::complex<long double>>> qvc;
loadData(vqf, "case 9");
loadData(vqc, "case 10");
loadData(qvf, "case 11");
loadData(qvc, "case 12");
}