Mục đích của gcc -Wbad-function-cast là gì?

Question

Là cố vấn bởi một câu trả lời ở đây, tôi bật -Wbad-function-cast để xem mã của tôi có bất kỳ xấu hành vi gcc có thể nắm bắt, và nó bật lên ví dụ này:

unsigned long n; 
// ... 
int crossover = (int)pow(n, .14); 

(nó không quan trọng ở đây là crossover là một int ; nó có thể là unsigned long và thông báo sẽ giống nhau).

Điều này có vẻ giống như một ví dụ khá bình thường và hữu ích về dàn diễn viên. Tại sao điều này có vấn đề? Nếu không, có lý do nào để giữ cảnh báo này được bật không?

Tôi thường muốn đặt nhiều cảnh báo, nhưng tôi không thể che giấu đầu óc xung quanh trường hợp sử dụng cho trường hợp này. Mã tôi đang làm việc trên là rất nhiều số và có rất nhiều lần mà mọi thứ được đúc từ một loại khác theo yêu cầu để đáp ứng nhu cầu khác nhau của các thuật toán có liên quan.

Answer 1

Tiện ích của cảnh báo -Wbad-function-cast bị giới hạn.

Có thể, không phải ngẫu nhiên mà không phải -Wall cũng không phải -Wextra bật cảnh báo đó. Cũng như nó không có sẵn cho C++ (nó chỉ là C/Objective-C).

Ví dụ cụ thể của bạn không khai thác hành vi không xác định cũng như hành vi được xác định thực hiện (xem ISO C11, Mục 6.3.1.4). Do đó, cảnh báo này cho bạn lợi ích không.

Ngược lại, nếu bạn cố gắng viết lại mã của bạn để làm cho -Wbad-function-cast hạnh phúc bạn chỉ cần thêm chức năng không cần thiết gọi mà thậm chí gần đây GCC/Clang compilers don't optimize away với -O3:

#include <math.h> 
#include <fenv.h> 
int f(unsigned n) 
{ 
    int crossover = lrint(floor(pow(n, .14))); 
    return crossover; 
} 

(ví dụ tiêu cực, no warning emitted với -Wbad-function-cast nhưng các cuộc gọi chức năng không cần thiết)

Answer 2

Bạn nên thực hiện cảnh báo này một cách nghiêm túc.

Nếu bạn muốn lấy số nguyên từ kết quả dấu phẩy động của pow, đó là thao tác làm tròn, phải được thực hiện với một trong các chức năng làm tròn tiêu chuẩn như round. Làm điều này với số nguyên cast có thể mang lại bất ngờ: bạn thường mất phần phân đoạn và ví dụ 2.76 có thể kết thúc là 2 với cắt ngắn số nguyên, giống như 2.12 sẽ kết thúc là 2. Ngay cả khi bạn muốn hành vi này, bạn nên xác định rõ ràng hơn với hàm floor. Điều này sẽ tăng khả năng đọc và hỗ trợ mã của bạn.