Нет, это пока невозможно. Если при присвоении значения одного типа данных переменной другого типа данных применимо неявное преобразование (implicit conversion), даже если значение приведёт заведомо к ошибке этого преобразованния, то компилятор не считает это ошибкой и не предупреждает об этом.
Процитатирую Тома Кайта:
SQL and PL/SQL are very “datatype friendly”. They attempt — whenever possible — to do what you ask them to do. [...] I consider all these implicit conversions to be bugs in the developed code [...].
Это пока всё ещё актуально и поэтому, нужно отказатся от "дружественного предложения": "Мы позаботимся о преобразовании за Вас", и где это только возможно - избегать неявного преобразования.
Код ниже компилируется без ошибок и предупреждений, но в нём заложены программные ошибки, которые проявятся:
- стр. 5 - при первом запуске
- стр. 6 - года через два-три, когда DBA решит изменить десятичный разделитель с
,
на .
SQL> alter session set plsql_warnings='enable:all';
SQL> create or replace procedure proc authid definer is
2 n number := 0;
3 s varchar2 (96) := '0,1';
4 begin
5 n := '123a';
6 n := s;
7 end;
8 /
Procedure created.
SQL> show errors
No errors.