Как с помощью шаблонов проверить, что два числа равны?

Question

[iihaarr]

Я пытался так:

template<typename R, typename C, typename std::enable_if<std::is_arithmetic<R>::value && std::is_arithmetic<C>::value>::type = true>
struct are_values_equal
{
    constexpr static bool value = R == C;
};

И так:

template<const std::size_t R, const std::size_t C>
struct are_values_equal
{
    constexpr static bool value = R == C;
};

Но в первом в случае я так понимаю, что компилятор не может понять, что сравниваются два числа, а во втором ошибка:
a non-type template parameter cannot have type
В обоих случаях передаю 2 шаблонных параметра типа const std::size_t.

Comments

[15432]

а если вместо const size_t написать просто int?

[Евгений Шатунов]

iihaarr , покажи пример, как конкретно ты хочешь использовать свой шаблон.
В каком виде у тебя задаются эти два числа, которые тебе надо сравнить?

[iihaarr]

Есть класс матрицы:

template<const std::size_t rows, const std::size_t columns>
class Matrix 
{
...
}

Есть функция:
int GetDeterminant()
Функция доступна, если rows = columns

[Евгений Шатунов]

iihaarr, не забывай ставить уведомления, это сделать очень просто - кнопкой "Ответить".
Ты сейчас задал один вопрос, а решить тебе надо совсем другую проблему.

Твой вопрос надо переформулировать так чтобы было понятно, что тебе нужно отключить определение функции по условию.

Answer 1

[Wataru]

Отвечаю на вопрос из комментариев. Можно сделать так:

template <int a, int b>
class A {
    public:
    template<bool tmp = true>
    typename std::enable_if<a==b && tmp, int>::type F() {
       return 1;   
    }
};

...

A<1,1> a;
std::cout << a.F();  // OK.
A<2,100> b;
std::cout << b.F(); // Ошибка A<2,100> не имеет метода F().

Мне сложно объяснить, чтобы было понятно, почему работает именно это, но я попробую.

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

Далее, хотелось бы что бы просто работало вот это:

template<>
 typename std::enable_if<a==b, int>::type F()

Тут все понятно, enable_if не имеет type, если a неравно b. Шаблон никак не инстанциировать и метод не должен был бы генерироваться. Но это было бы слишком просто.

Вместо этого, надо там завести какой-то вообще ненужный как бы параметр шаблона tmp, и обязательно использовать его в enable_if. Это потому что если в этом шаблоне не будет никак использоваться параметр шаблона, то SFINAE не срабатывает, и вылезает ошибка компиляции.