Я хочу передать массив в стиле C в функцию, принимающую std::span, но разрешение перегрузки предпочитает вместо этого преобразовать массив в bool. Требуется ли такое поведение по стандарту или это проблема компилятора? (Я пробовал несколько компиляторов, и все они делают одно и то же. https://godbolt.org/z/8rxTWPd3K)
Когда TEST определен как 0, поэтому вторая перегрузка не определена, массив преобразуется в std::span, как я и ожидал, поэтому очевидно, что это хорошее совпадение.
Если преобразование в std::span не лучше, чем преобразование в bool, я ожидал, что оно будет двусмысленным, а не выберет неправильный.
Изменить вызов, чтобы обойти проблему, легко, но поскольку предупреждения нет, для человека, пишущего вызов, не очевидно, в чем проблема или как ее исправить. Есть ли способ изменить определение функции или добавить дополнительную перегрузку, которая лучше соответствовала бы массиву в стиле C, чтобы избежать преобразования в bool? Если нет, то есть ли способ сделать его неоднозначным, чтобы вызывающая сторона получала ошибку?
(Очевидно, что это урезанный тестовый пример. В реальном коде есть дополнительные параметры, и обе перегрузки делают одно и то же, поэтому вполне уместно, чтобы они имели одно и то же имя.)
#include
#define TEST 1
extern void f(std::span);
#if TEST
extern void f(bool c);
#endif
static const unsigned a[] = { 1, 2 };
void q()
{
f(a);
}
Подробнее здесь: https://stackoverflow.com/questions/798 ... resolution
