0
static bool wheel_scrolled_up(SDL_Event event);

Почему этот boolean может запуститься без SDL_Event event, когда должен только с SDL_Event event?

Пример:

#include <AceEngine/AceEngine.hpp>
#include <iostream>
using namespace std;

SDL_Event event;

int main()
{
    if (ACE::mouse::wheel_scrolled_up/* (SDL_Event event) */)
        cout << "Wheel scrolled up!" << endl;
}

Этот код не выдаёт при компиляций никаких ощибок, когда он должен выдовать!

По настоящему должно быть так:

#include <AceEngine/AceEngine.hpp>
#include <iostream>
using namespace std;

SDL_Event event;

int main()
{
    if (ACE::mouse::wheel_scrolled_up(event))
        cout << "Wheel scrolled up!" << endl;
}

Я не знаю это баг или нет, но так не должно быть!

Как сделать так чтобы без SDL_Event event компилятор выдовал ощибку?

2 ответа 2

2

Этот код формально валиден и не должен генерировать ошибку. Имя ACE::mouse::wheel_scrolled_up без скобочек может рассматриваться как указатель на функцию и внутри if преобразуется в bool. Хотя такая запись валидна, она не не имеет большого смысла, так как результат такого преобразования известен на этапе компиляции, что делает if фактически бессмысленным. Во многих компиляторах есть соотв. предупреждение на такой случай (warning C4551, -Wpointer-bool-conversion), которое имеет смысл включить и (опционально) перевести в категорию ошибок.

void foo(int) {}

int main()
{
    if (foo) // error: address of function 'foo' will always evaluate to 'true' [-Werror,-Wpointer-bool-conversion]
    {
        return 1;
    }
    return 0;
}

https://godbolt.org/z/Pv44dW

2
  • Тоесть так и должно быть? )
    – RedBull4
    Commented 4 нояб. 2020 в 10:44
  • @RedBull4 Ну как бы в С++ ответственность за корректность в основном лежит на программисте, а компилятор жалуется в крайних случаях. Commented 4 нояб. 2020 в 11:17
2

ACE::mouse::wheel_scrolled_up - это не вызов, а по сути адрес функции, каковой явно не nullptr, а значит, вы написали if (true) ... (при приведении адреса в bool).

Вызов всегда требует наличия скобок! То, что вы считаете "вызовом без event", имело бы вид

ACE::mouse::wheel_scrolled_up()
4
  • Так рекурсия без event работает, а Я хочу чтобы работало только с event-ом, иначе компилятор должен выдать ощибку.
    – RedBull4
    Commented 4 нояб. 2020 в 10:24
  • 1
    Где у вас рекурсия? И почему компилятор должен выдавать ошибку на синтаксически корректное выражение? По-моему, вы вообще не поняли, что я написал в ответе...
    – Harry
    Commented 4 нояб. 2020 в 10:27
  • Ощибся, это boolean )
    – RedBull4
    Commented 4 нояб. 2020 в 10:29
  • Принципиально это ничего не меняет. У вас есть проверка - не по нулевому ли адресу находится функция? очевидно, что нет. Ваше требование - примерно как "я хочу, чтобы для переменных int a,b; было разрешено a+b, но на a-b компилятор выводил бы сообщение об ошибке"...
    – Harry
    Commented 4 нояб. 2020 в 10:33

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.