Home Browse Files 
      1
      2
      3
      4
      5
      6
      7
      8
      9
     10
     11
     12
     13
     14
     15
     16
     17
     18
     19
     20
     21
     22
     23
     24
     25
     26
     27
     28
     29
     30
     31
     32
     33
     34
     35
     36
     37
     38
     39
     40
     41
     42
     43
     44
     45
     46
     47
     48
     49
     50
     51
     52
     53
     54
     55

#include <cstdio>

//
//  promotion trait class
//
template <typename T, typename S>
struct Promotion
{
    typedef typename Promotion<S,T>::Type Type;
};

template <typename T>
struct Promotion<T,T>
{
    typedef T   Type;
};

template <>
struct Promotion<int, double>
{
    typedef double Type;
};

//
// checks for resulting types
//
void
printType(int)
{
    std::printf("called int-version\n");
}

void
printType(double)
{
    std::printf("called double-version\n");
}

template <typename T, typename S>
void
check(T, S)
{
    typename Promotion<T,S>::Type promoted = 0;

    printType(promoted);
}

int
main()
{
    check(1,   1.0);
    check(1.0, 1);
    check(1,   1);
    check(1.0, 1.0);
}





































































































Home