Notas de estudo de programação genérica

#include "iostream"

using namespace std;

template<typename T>
void Print(T a) {
	cout << a << endl;
}

int main() {
	int a = 5;
	double b = 2.3;
	char c = 'e';
	string d = "sdfasd";

	Print(a);
	Print(b);
	Print(c);
	Print(d);

	return 0;
}

Pode ser usado sem Print<type>(parâmetros);

Pode ser deduzido diretamente. Em outra forma, o modelo é uma sobrecarga mais avançada

No entanto, não é aplicável na classe e não pode ser derivado automaticamente. Só pode ser derivado automaticamente do C++ 17, e o código acima não reportará um erro

---

Por que o Print de 12 linhas reporta um erro, porque o Print não tem parâmetros para deduzir o tipo de T, então o tipo especificado deve ser exibido, como int

---

#include "iostream"

using namespace std;

template<typename T>
void Print(T a = 123) {
	cout << a << endl;
}

int main() {
	Print<int>();
	Print<string>();

	return 0;
}

Quando o parâmetro possui um valor padrão, o tipo deve corresponder para não inserir o parâmetro 

---

#include "iostream"

using namespace std;

template<typename T, int T1 = 23>
void Print(T a = 123) {
	cout << a << " " << T1 << endl;
}

int main() {
	Print<int>();
	Print<int, 45>(44);
	Print<string>("fgsd");

	return 0;
}

Como modelo, também pode ser usado como parâmetro. Deve suportar números inteiros, enumerações e ponteiros. Outros podem variar dependendo do compilador.

---

A especialização não pode ser feita em uma função, mas pode ser feita em uma classe 

---

Sobrecarga do operador:

#include "iostream"

using namespace std;

class Test {
public:
	Test(int c, int d) : a(c), b(d) {}
	const Test operator+(const Test& test) {
		return Test(this->a + test.a, this->b + test.b);
	}
	inline const int Geta() const { return a; }
	inline const int Getb() const { return b; }
private:
	int a;
	int b;
};

int main() {
	Test test1(10, 20);
	Test test2(30, 50);
	const Test&& test3 = test1 + test2;
	cout << test3.Geta()<< " " << test3.Getb() << endl;

	return 0;
}

---

 

template <typename Type>
	void PrintNotEdit(Type Value)
	{
		FString ValueAsString;
		if constexpr (std::is_same<Type, int>::value)
		{
			ValueAsString = FString::Printf(TEXT("%d"), Value);
		}
		else if constexpr (std::is_same<Type, float>::value)
		{
			ValueAsString = FString::Printf(TEXT("%f"), Value);
		}
		else if constexpr (std::is_same<FString, Type>())
		{
			ValueAsString = FString::Printf(TEXT("%s"), *Value);
		}
		if (GEngine)
		{
			GEngine->AddOnScreenDebugMessage(-1, 10.f, FColor::Red, ValueAsString);
		}
	}

	template<typename T>
	void Printf(T t) {
		PrintNotEdit(t);
	}

	template<typename T, typename ...ARGS>
	void Printf(T t, ARGS... args) {
		PrintNotEdit(t);
		Printf(args...);
	}

Constexpr deve ser usado aqui, porque o modelo só pode ter conteúdo específico quando está em execução. Adicionar constexpr deve compilá-lo e assumir o valor, e você pode fazer a operação correspondente.