Как создать шаблон структуры, которая будет принимать базовые типы данных и класс vector?

Question

[krot0glot]

Задания из книги.

Текущий код:

#include <iostream>
#include <string>
#include <vector>

using namespace std;

template <class T> struct S
{
	S(const T & val) : val_(val) {}
	// Как объединить функции вывода в одну?
	void PrintVal() const
	{
		cout << val_ << endl;
	}
	void PrintVector() const
	{
		for (size_t i = NULL; i < val_.size(); ++i)
		{
			cout << val_[i] << ' ';
		}
		cout << endl;
	}

	const T & GetVal() const { return val_; }
	const T & GetVector() const { return val_; }
	// Что необходимо написать, чтобы заменить слово "auto"?
	auto & GetVector(const size_t & i) const { return val_[i]; }

private:
	T val_;
};

int main()
{
	vector<int> vv(2, 2);

	S<int> s1(1);
	S<vector<int>> s2(vv);

	s1.PrintVal();
	s2.PrintVector();

	cout << s1.GetVal() << endl;
	cout << s2.GetVector(1) << endl;
	// Как сделать реальной такую запись?
	//cout << s2;
}

Также буду рад, если приведёте свои способы реализации данных заданий.

Comments

[RimMirK]

3.1

[krot0glot]

RimMirK, Спасибо, исправил.

Answer 1

[Dmitrii]

Можно использовать перегрузку оператора <<
Можно использовать новомодный std::input_or_output_iterator или if constexpr
или вовсе явно специализировать/перегрузить шаблон для нужного вам типа.

Вот один из простейших вариантов. Просто добавьте перед функцией main.

template <typename T>
std::ostream& operator<<(std::ostream &os, const S<T>& s)
{
    if constexpr (std::ranges::range<T>) {
        const auto& val = s.GetVal();
        for (const auto& i : s.GetVal()) {
            os << i << " ";
        }
    } else {
        os << s.GetVal();
    }
    return os;
}

Все ещё не универсально, поскольку работает не со всеми контейнерами, а только с теми, которые хранят значения и могут в range_base loop

В таком случае вам больше не нужны функции (если они использовались лишь для вывода информации в консоль)

PrintVal
PrintVector
GetVector

Можно даже избавиться от GetVal, если вам не нужен этот геттер в остальном коде, тогда нужно просто подружить функцию с классом.

Comments

[krot0glot]

Спасибо вам за такой способ, но я пока не знаю про constexpr. Учусь на Стандарте 14 года, тут такого нет. Если вам будет не трудно, можете переписать пример под стандарт С++ 14 и ниже?

[Dmitrii]

krot0glot,
constexpr появился в С++11
constexpr if в С++17
https://en.cppreference.com/w/cpp/language/constexpr

если вы удалите constexpr, то if все равно сработает.

Но, я не понимаю зачем вам учиться тому, что уже может быть не актуально или даже вредно (некоторые новые стандарты дополняют/изменяют/расширяют старые фичи).
Можете использовать https://stackoverflow.com/questions/13830158/check...
чтобы проверить, что тип итерируемый.

[krot0glot]

Dmitrii, я использую visual studio 2022, в настройках поставлен 14 год. Пробовал скомпилировать проект в стандарте 17 и 20 годов. Сработал только 20, вот я и подумал, что он появился позже.
Что касается старого материала, я учусь по книге "Страуструп : принципы и практика использования С++". Пробовал читать Стивена Прату, но, мне кажется, перевод ужасный. На английском читать я пока не могу. А из современных изданий, я понятия не имею что читать. Взял, так сказать, классику.

[Dmitrii]

krot0glot, если вы хотите изучить базис, то, конечно, не так принципиален стандарт (лишь бы не меньше С++11). Но, в целом, я бы советовал вам при реализации того или иного алгоритма смотреть что есть в современных стандартах на этот счет. Если вы не совсем новичок в С++, то хотя бы обзорно посмотрите новвовдеения последних стандартов, чтобы понимать что потенциально есть/можно использовать.

К примеру, ваш код можно переписать и вовсе без шаблонов с использованием std::variant (что в данном случае совсем не оптимально, но иногда может быть полезно)