Итераторы и шаблоны в c ++

Если они имеют разные типы, итерация над ними не имеет смысла; какой код будет работать на каждом типе набора данных?

Как только вы найдете ответ на этот вопрос, отвлеките эту информацию и либо используйте в качестве интерфейса, либо наделите Datasets наследством или используйте некоторое стирание типа TMP.

Чтобы привести пример:

class Apple { ... };
class Pear { ... };

vector<SomeTypeThatCanHoldApplesAndPears> v;
for (x : v) {
    // what do you want to do with x?
}

И пример, который полностью заполняет это:

// They are both fruits and have a color!
class Fruit { public: virtual Color getColor() = 0; }
class Apple : public Fruit { /* implement getColor */ };
class Pear : public Fruit { /* implement getColor */ };

Теперь используйте только vector указателя ссылочного типа обложек или стирания стилей, который может содержать Fruit s:

for (fruit : v) {
    fruit.getColor();
}

Более продвинутое решение

Вы можете использовать Boost.TypeErasure и создать концепцию, которая будет иметь поведение, которое вы хотите.