템플릿 템플릿 파라마터, 템플릿 메서드, 템플릿 초기화, friend template..

템플릿 템플릿 파라마터

만약

template<typename T, typename Container = vector<T>>
clss Grid
...

가 존재한다면 Grid<int, vector> myIntGrid라고 int가 중복이된다.

• 해결책 -> 템플릿 템플릿 파라미터를 이용하면된다.

템플릿 템플릿 파라미터..

  STL 템플릿 컨테이너 정의를 보면
  template<typename T, Allocator = allocator<E> > 
  class vector..
  로 되어있다.

• 위의 템플릿정의를 두번째 템플릿 인자로 넣는 것이 템플릿 템플릿이다..
• template<typename T, template<typename E, Allocator = allocator<E> > class Container = vector> class Grid { ....
• 위의 포현대로 하면 중복이 사라진다.
• Grid<int, vector> myGrid; ...
• 중복 있는 것이 더 좋은 것같기도하고....

템플릿 메서드

  #include <iostream>
#include <vector>
#include <type_traits> // c++ 11
using namespace std;

//decltype -> 후위 반환타입...
//template<typename T1, typename T2>
//오류 !decltype(a + b)auto add(const T1& a, const T2& b)
//auto add(const T1& a, const T2& b) -> decltype(a + b) // c++ 11
// auto add(const T1& a, const T2& b) // c++ 14
//typename std::common_type<T1, T2>::type add(const T1& a, const T2& b) // c++ 11
auto add(const auto& a, const auto& b)  // c++ 20 
{
    return a + b;
}


int main()
{
    cout << add(2, 3.3);
    return 0;
}

• 위의 표현식을 보면 decltype이라고 후위 반환타입이 있는데 이것은 c++11에 존재한다

  • 결과론적으로 보면 20이 짱인듯 하다. auto를 갈겨도 다 인식을 해주니..

    auto add(const auto &a, const auto& b);
    도 가능하다.. 

# 템플릿 초기화

lazy\_initiation (사용되지않는 것은 c++로 만들지 않겠다..)

• decltype을 사용할려면 include <type_traits>를 사용해야한다.. template<typename T1, typename T2> auto add(const t1&a, const t2& b) -> decltype(a + b) 라는 것은 후위반환타입을 a + b의 결과로 해돌라는 의미이다..

• c++에서 템플릿은 틀이다 컴파일할 때 사용하지 않는 것은 컴파일러가 만들어주지않는다. 밑의 예시를 살펴보자.

• #include <iostream> using namespace std; template<typename T> class A { T data; public: void foo(T n) { *n = 10; } }; int main() { A<int> a; return 0; }

• 위에서 사용자가 foo함수를 사용한 적이 없다면 foo라는 맴버함수는 인스턴스화 되지않는다.

  #include <iostream>
  using namespace std;

• c++에 if constexpr추가..

template
void foo(T n)
{
*n = 10;
}

int main()
{
/if (false) if문은 실행시간 조건문이라서.. if문안에 false로 되어도 foo 사용되는 것으로 결정된다..
foo(20);/

if constexpr (false)
    foo(20);
return 0;

}

````

• 위에서 if는 실행시간 조건문이다.. 그래서 foo는 사용되는 것이다.
• if constexpr은 static if이다. 그래서 컴파일 시간 조건문이라서 foo는 실행되지않는다..

friend를 이용한 template..

틀린 예제1

#include <iostream>
#include <type_traits>  

using namespace std;

//오류가 발생하낟.
template<typename T>
class Point
{
    T x, y;
public:
    Point(T a = 0, T b = 0) x(a), y(b) {}

    friend ostream& operator<<(ostream& os, const Point<T>& p);
};

template<typename T>
ostream& operator<<(ostream& os, const Point<T>& p)
{
    return os << p.x << " " << p.y << endl;
}

int main()
{
    Point<int> p(1, 2);

    cout << p << endl;
    return 0;
}

• 위 예제는 오류가 발생한다 처음보면 operator<<를 사용하기 위해서 class Point 안에 friend를 선언했으니 되었다고 생각할 수 있지만 그렇지않다. 왜냐하면 클래스안의 friend로 선언되어있는 출력 오퍼레이터는 템플릿이아니다. 벌써 T타입이 정해졌기 때문이다. 그렇기 때문에 그에 해당하는 구현부를 찾을 수없어서 문제가 발생한다.

friend template 해결 방안 1 (클래스안에서 friend를 선언 후 구현도 같이한다..)

#include <iostream>
#include <type_traits>  

using namespace std;

//오류가 발생한다.
template<typename T>
class Point
{
    T x, y;
public:
    Point(T a = 0, T b = 0) : x(a), y(b) {}

    //friend ostream& operator<<(ostream& os, const Point<T>& p);

    template<typename U>
    friend ostream& operator<<(ostream& os, const Point<U>& p)
    {
        return os << p.x << " " << p.y << endl;
    }
};

//template<typename T>
//ostream& operator<<(ostream& os, const Point<T>& p)
//{
//    return os << p.x << " " << p.y << endl;
//}

int main()
{
    Point<int> p(1, 2);

    cout << p << endl;
    return 0;
}

• 위에서 class pointer안에서 frined 템플릿을 구현하면된다 그리고 주의할 점은 frined 템플릿의 타입은 더이상 T가아니고 U로해야한다 T로 하면 클래스에서 벌써 정해진 타입으로 정해지기 때문이다..

해결방안 2()