Почему без приведения типа невозможно выбрать нужный указатель на перегруженную функцию-член?

@Lyosha12 · Регистрация: 02.04.2016

Студворк — интернет-сервис помощи студентам

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
#include <functional>
using namespace std;
 
class Callable {
  public:
    
    string operator() (string s) {
        return s + " TEST";
    }
    /**/
    double operator() (int x) {
        return x * 2;
    }
    /**/
};
 
int main() {
    function<string(Callable*, string)> f = static_cast<string(Callable::*)(string)>(Callable::operator());
    Callable c;
    cout << f(&c, "ABCD");
    return 0;
}

Без static_cast<string(Callable::*)(string)> работать отказывается.
Почему тогда всё нормально работает с перегрузкой обычных функций?
Что это за странное исключение из правил? С чем оно связано?

@DU3 · 15.10.2017, 03:55

у вас два оператора с одинаковым именем. поэтому этот каст - подсказка, какой из двух вы хотите.

такой вот код работает

C++
1
2
3
4
5
void fff(string(Callable::*)(string))
{
}
 
fff(&Callable::operator());

можно было бы рассчитывать, что у std::function конструктор тоже без неоднозначностей заработает, там ведь
сигнатура в типе задана, но нет. у std::function всякие шаблонные конструкторы. и чтобы вывести тип
передаваемых аргументов, они должны быть известны. а у компилятора на выбор два равнозначных.
наверно такое объяснение.

@Lyosha12 · 15.10.2017, 04:40 **[ТС]**

Сообщение от DU3

такой вот код работает

А здесь подсказка - неявный каст. Хм.

А такая штука работает

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#include <iostream>
#include <functional>
using namespace std;
 
class Callable {
  public:
    /**/
    string operator() (string s) {
        return s + " TEST";
    }
    /**/
    /**/
    double operator() (int x) {
        return x * 2;
    }
    /**/
};
 
int main() {
    using PF = double(Callable::*)(int);
    PF f = Callable::operator();
    
    Callable c;
    cout << (c.*f)(12);
    return 0;
}

Значит, дело только в "ограниченности" шаблонов, применённых в std::function?

Добавлено через 2 минуты

Сообщение от DU3

два равнозначных.

Но почему равнозначных...
Даже если задать разное количество параметров - всё равно неоднозначность компилятору чудится.
Это вопрос скорее нужно поставить так: "Почему шаблоны не работают как надо бы?"

@DU3 · 15.10.2017, 05:12

вот упрощенная ситуация:

C++
1
2
3
4
5
6
7
8
9
10
template <typename T>
void StdFunctionConstructor(T arg)
{
}
 
int main()
{
  StdFunctionConstructor(&Callable::operator());
  return 0;
}

Конструктор std::function - они там шаблонные. Поэтому такое упрощение прокатывает. Итак:
Функция StdFunctionConstructor шаблонная. ей пофиг какой будет тип у аргумента. Принимает любые.

В точке вызова ей пытаются передать некий указатель на функцию: &Callable::operator()
Тут тип указателя никак не обозначен, только имя. У компилятора два равнозначных кандидата (имена у операторов одинаковые).
И то и другое функция StdFunctionConstructor может принять и скомпилится. Но компилятор не в состоянии решить, какой из двух
указателей туда отдать. Вот он и ругается.

Ваша ситуация с юзингом, такая же как и в случае в фунцией, которая принимает указатель конкретного типа, которую я приводил раньше:
Тут компилятор смотрит: ага, у меня два кандидата. но функция хочет кандидата с конкретным типом. в случае
с вашим юзингом переменная определенного типа. и указатель нужного типа только один. итого из двух кандидатов
тот, у которого неподходящий тип отбрасывается. Остается один. А это то, что надо. В результате все компилируется.

@Lyosha12 · 15.10.2017, 05:31 **[ТС]**

Сообщение от DU3

В точке вызова ей пытаются передать некий указатель на функцию: &Callable::operator()
Тут тип указателя никак не обозначен, только имя. У компилятора два равнозначных кандидата (имена у операторов одинаковые).

Видимо, здесь у меня белое пятно по части инстанцирования шаблона.
Что происходит, когда мы параметризуем (я же правильно выражаюсь?) шаблон своими типами: std::function<double(Callable*, int)>?
Для начала будет создана специализация класса...
Но не будет создана специализация конструктора этого класса (он же шаблонный всё ещё).
При попытке вызова конструктора уже созданного класса в него будет передан указатель на функцию-член по его имени, однако, какую из двух версий выбрать - вопрос, ведь задаваемый тип при инстанцировании шаблона класса никак не связан с типом, который используется в конструкторе...
Из-за этого и нужно явно указывать тип функции-члена ещё раз.

И, действительно, пакет аргументов _ArgTypes нигде, кроме как в специализации, не фигурирует:

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
  template<typename _Res, typename... _ArgTypes>
    template<typename _Functor, typename, typename>
      function<_Res(_ArgTypes...)>::
      function(_Functor __f)
      : _Function_base()
      {
    typedef _Function_handler<_Signature_type, _Functor> _My_handler;
 
    if (_My_handler::_M_not_empty_function(__f))
      {
        _My_handler::_M_init_functor(_M_functor, std::move(__f));
        _M_invoker = &_My_handler::_M_invoke;
        _M_manager = &_My_handler::_M_manager;
      }
      }

На это место указывает мой CLion при использовании кода из сабжа

Ну и как же без наезда на авторов MinGW: можно/нужно ли по-другому сделать этот конструктор std::function,
чтобы лишний раз не надо было напоминать о типе указателя на функцию-член?

@DrOffset · 15.10.2017, 15:04

Сообщение от Lyosha12

можно/нужно ли по-другому сделать этот конструктор std::function

Нельзя.
И авторы MinGW тут не при чем. Сигнатура конструктора прописана в стандарте.
Конструктор std::function принимает не только функцию, но и любой функциональный объект с похожей сигнатурой, поэтому без шаблона не обойтись.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
struct F
{
    template <typename I>
    void operator()(I const & x)
    { }
};
 
int main()
{
    std::function<void(int)> x = F{};
    
    x(10);
}

Проблему тут не в std::function, а уровнем выше, еще до передачи в конструктор, выражение &Callable::operator(); имеет неоднозначность из-за наличия перегрузки. Шаблон не может разрешить неоднозначность, т.к. сам зависит от передаваемого контекста, а контекст неоднозначен. Вот и все.

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

Почему без приведения типа невозможно выбрать нужный указатель на перегруженную функцию-член?

Решение

Решение