class A {};
class B {};
class C {};
class D {};
//A+B , A+C, B+C , A+D, D+C namely all of these combinations will be possible just one functions
答案 0 :(得分:2)
template <typename T, typename U>
void foo(const T& pX, const U& pY)
{
// do stuff
}
这不是您想要的,因为它为T
和U
的每个不同组合创建了新功能,但它是一个功能模板。
这禁止T
和U
相同:
template <bool> struct static_assert {};
template <> struct<true> static_assert {};
#define STATIC_ASSERT(pValue) static_assert<(pValue)>()
// ...
template <typename T, typename U>
struct is_different
{
static const bool value = true;
};
template <typename T>
struct is_different<T, T>
{
static const bool value = false;
};
// ...
template <typename T, typename U>
void foo(const T& pX, const U& pY)
{
STATIC_ASSERT(is_different<T, U>::value);
// do stuff
}