Тестирование параметров шаблона для равенства

Question

Допустим, я шаблонный класс определяется как:

template < typename A, typename B > 
class something { ... } 

Как я могу проверить, если типы А и В одного и того же типа? Я знаю, что это можно сделать во время выполнения с помощью typeid, но мне действительно нужно, чтобы это был тест времени компиляции.

Также, как я могу специализировать класс, если типы A и B равны?

В реальном мире A будет контейнером stl, например std :: string, а B будет char или wchar_t. Внутри я уже проверял контейнеры value_type (скомпилировать ошибку, если не то, что ожидалось). Если B совпадает с контейнером value_type, большая часть кода в классе станет излишней.

Answer 1

Также, как я могу специализировать класс, если типы A и B равны?

К точно, что, специализируясь:

template <typename A> 
class something<A,A> { ... } 

шаблоны использовать шаблон соответствия для своих списков параметров, как и видели во многих функциональных языках программирования.

Как проверить, являются ли типы A и B одного типа?

Вы можете использовать std::is_same или воспользоваться специализацией, как указано выше. Это зависит от вашего конкретного варианта использования.

Answer 2

Вы можете проверить, если типы одинаковы с помощью:

std::is_same<A, B>::value 

он возвращает истину, если они есть.

Answer 3

Как об этом

template <typename A, typename B> 
struct EnsureSameType {}; 

template <typename A> 
struct EnsureSameType<A, A> { 
    typedef int the_template_types_are_different; 
}; 

int main() 
{ 
    /* this should compile */ 
    typedef EnsureSameType<std::string::value_type, char>::the_template_types_are_different _; 
    /* this should fail, and you will see the compiler 
     remind you that the_template_types_are_different */ 
    typedef EnsureSameType<std::string::value_type, wchar_t>::the_template_types_are_different _; 
    return 0; 
}