исключение с плавающей запятой при поиске пересечения

рассмотрите этот код:

Point findIntersection(Line l1, Line l2) 
{
  int T1, T2;
  T2 = (l2.d.x*(l1.p.y-l2.p.y) + l2.d.y*(l2.p.x-l1.p.x))/(l1.d.x*l2.d.y - l1.d.y*l2.d.x);
  T1 = (l1.p.x+l1.d.x*T2-l2.p.x)/l2.d.x;
  if (T1>0 && 0<T2<1) {
    return {l2.p.x+l2.d.x*T1, l2.p.y+l2.d.y*T1};
  }
}

(полный код http://pastebin.com/M6G40F4M)

этот код вызывает исключение с плавающей запятой в строках 3 и 4 (и 13 и 14 в большом фрагменте кода). Мой вопрос в том, почему это происходит, и как правильно найти место пересечения двух линий. Я знаю, что эти ошибки обычно возникают при делении на ноль, но я не уверен, где я это делаю и как это можно предотвратить.


c++ floating-point-exceptions
person Ace shinigami    schedule 10.05.2016    source источник
comment
(l1.d.x*l2.d.y - l1.d.y*l2.d.x) может быть 0. Не так ли? Также возможно, что l2.d.x равно нулю. Перед делением нужно убедиться, что знаменатель не равен нулю.   -  person R Sahu    schedule 10.05.2016
comment
Первое, что вам нужно сделать, это всегда возвращать значение. Это вызывает неопределенное поведение, когда случай T1>0 && 0<T2<1 не выполняется.   -  person M.M    schedule 10.05.2016

Ответы (1)


arrow_upward
2
arrow_downward

Вы делите на ноль.
Давайте докажем это.

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

clang++-3.9 -std=c++1z -g -Weverything -fsanitize=undefined  -o main t.cpp

предупреждает:

main.cpp:16:12: warning: generalized initializer lists are incompatible with C++98 [-Wc++98-compat]
    return {l2.p.x+l2.d.x*T1, l2.p.y+l2.d.y*T1};
           ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
main.cpp:10:7: warning: no previous prototype for function 'findIntersection' [-Wmissing-prototypes]
Point findIntersection(Line l1, Line l2)
      ^
main.cpp:18:1: warning: control may reach end of non-void function [-Wreturn-type]
}
^
main.cpp:22:20: warning: generalized initializer lists are incompatible with C++98 [-Wc++98-compat]
    case 0: return {r.p.x, r.d.y};
                   ^~~~~~~~~~~~~~
main.cpp:25:20: warning: generalized initializer lists are incompatible with C++98 [-Wc++98-compat]
    case 3: return {r.d.x, r.p.y};
                   ^~~~~~~~~~~~~~
main.cpp:19:7: warning: no previous prototype for function 'getRectPoint' [-Wmissing-prototypes]
Point getRectPoint(Rect r, int n)
      ^
main.cpp:27:1: warning: control may reach end of non-void function [-Wreturn-type]
}
^

когда мы его запустим:

main.cpp:13:57: runtime error: division by zero
[1]    26614 floating point exception (core dumped)  ./main

строка 13:

T2 = (l2.d.x*(l1.p.y-l2.p.y) + l2.d.y*(l2.p.x-l1.p.x))/(l1.d.x*l2.d.y - l1.d.y*l2.d.x);
person Trevor Hickey    schedule 10.05.2016
comment
не уверен, насколько полезно предупреждение инициализатора С++ 98, когда вы находитесь в режиме С++ 1z - person M.M; 10.05.2016