Можно ли как-то сделать юнит тест, где программа должна не

в общем, у меня есть такая функция: template <typename T> void foo(){ if constexpr (std::is_same_v<T, int>){} else if constexpr (std::is_same_v<T, float>){} else { static_assert(false); } } могу ли я как-то убедиться, что при T=double этот шаблон не соберется?

0

31.05.2021

Danya🔥

Egor Kulebyakin
в общем, у меня есть такая функция: template <type...

Он всегда не соберётся

0

31.05.2021

Egor Kulebyakin Автор вопроса

Хитрый Лис
Напишите скрипт, который будет возвращать ошибку, ...

так не интересно :))

0

31.05.2021

Egor Kulebyakin Автор вопроса

Danya🔥
Он всегда не соберётся

почему?

0

31.05.2021

Danya🔥

Egor Kulebyakin
почему?

Потому что static_assert(false) всегда не скомпилируется

0

31.05.2021

Red Paper

Danya🔥
Он всегда не соберётся

Если int или float, то собраться должен

0

31.05.2021

Danya🔥

Red Paper
Если int или float, то собраться должен

Не должен

0

31.05.2021

Egor Kulebyakin Автор вопроса

Danya🔥
Потому что static_assert(false) всегда не скомпили...

так до туда ведь не должно дойти в некоторых случаях

0

31.05.2021

Red Paper

Danya🔥
Потому что static_assert(false) всегда не скомпили...

Да, вы правы

0

31.05.2021

Red Paper

Egor Kulebyakin
так до туда ведь не должно дойти в некоторых случа...

Можно представить, что там велосипедный my_static_assert<false>{} и тогда это будет семантическая ошибка

0

31.05.2021

Danya🔥

Egor Kulebyakin
так до туда ведь не должно дойти в некоторых случа...

Погугли что такое dependent_false

0

31.05.2021

Liber Azerate

Egor Kulebyakin
в общем, у меня есть такая функция: template <type...

Почему бы туда просто не написать static_assert(!std::is_same_v<T, double>);, или нужна свинья?

0

31.05.2021

Egor Kulebyakin Автор вопроса

Liber Azerate
Почему бы туда просто не написать static_assert(!s...

у меня около 20 типов, а в одном из шаблонов вызывается другой(10 типов), в котором, соответственно, другие типы. Я скорее где-то запутаюсь

0

31.05.2021

Liber Azerate

Egor Kulebyakin
у меня около 20 типов, а в одном из шаблонов вызыв...

Ээ, и что? Нужно же чтобы этот не собирался с double

0

31.05.2021

Danya🔥

Egor Kulebyakin
у меня около 20 типов, а в одном из шаблонов вызыв...

Какой у тебя стандарт?

0

31.05.2021

Egor Kulebyakin Автор вопроса

Danya🔥
Какой у тебя стандарт?

17

0

31.05.2021

Хитрый Лис

Egor Kulebyakin
в общем, у меня есть такая функция: template <type...

template <class T> struct helper { static constexpr int value = 1; }; template <> struct helper<double> { static constexpr int value = -1; }; template <typename T> void foo(T arg){ if constexpr (std::is_same_v<T, int>){ printf("int\r\n"); } else if constexpr (std::is_same_v<T, float>){ printf("float\r\n"); } else { char _[helper<T>::value]; } } И можете тест не писать. Массив с отрицательным размером никогда не соберётся.

0

31.05.2021

Danya🔥

Хитрый Лис
template <class T> struct helper { static constexp...

Что-то дичь

0

31.05.2021

Liber Azerate

Хитрый Лис
template <class T> struct helper { static constexp...

Какой-то С++03 подход

0

31.05.2021