Tôi có một chương trình thư viện liên kết động. Chương trình chuyển một con trỏ hàm tới thư viện để thực thi.

Nhưng ubsan(Unknown Behavior Sanitizer) chỉ định rằng con trỏ nằm sai loại hàm. điều đó sẽ chỉ xảy ra

• Nếu hàm gọi lại có một lớp làm tham số
• Nếu hàm gọi lại có một lớp làm tham số nhưng chỉ được khai báo chuyển tiếp
• Nếu tôi chỉ định cờ biên dịch: -fvisibility=hidden.

Tôi sử dụng clang để biên dịch dự án của mình.

Đây có phải là lỗi trong trình khử trùng hành vi không xác định của clang không?

Đoạn mã sau được rút gọn thành một trường hợp thử nghiệm đơn giản. Kiểm tra các nhận xét để biết chúng tôi có thể xóa một số cảnh báo ở đâu

Mã ứng dụng:

chính.cxx

#include "Người gọi.h"
#include "Param.h"

khoảng trống tĩnh FctVoid()
{
}
khoảng trống tĩnh FctInt(int _param)
{
   static_cast(&_param);
}
static void FctCaller(Người gọi &_người gọi)
{
   static_cast(&_caller);
}
static void FctParam(Param const &_param)
{
   static_cast(&_param);
}

int main()
{
   Tham số tham số;
   Người gọi::CallVoid(&FctVoid);
   Người gọi::CallInt(&FctInt);
   Người gọi::CallThis(&FctCaller);
   Người gọi::CallParam(&FctParam, param);
   return 0;
}

Mã cho tệp thư viện là:

người gọi.cxx:

#include "Người gọi.h"
// Bỏ ghi chú để sửa một cảnh báo
//#include "Param.h"
void Người gọi::CallVoid(FctVoidT _fct)
{
   _fct();
}
void Người gọi::CallInt(FctIntT _fct)
{
   _fct(32);
}
void Người gọi::CallThis(FctThisT _fct)
{
   Người gọi người gọi;
   _fct(người gọi);
}
void Người gọi::CallParam(FctParamT const &_fct, Param const &_param)
{
   _fct(_param);
}

người gọi.h

#ifndef __Người gọi_h_
#xác định __Người gọi_h_
#include "owExport.h"

lớp Tham số;
lớp EXPORT_Người gọi thư viện
{
public:
   typedef void(*FctVoidT)();
   khoảng trống tĩnh CallVoid(FctVoidT _fct);
   typedef void(*FctIntT)(int);
   khoảng trống tĩnh CallInt(FctIntT _fct);
   typedef void(*FctThisT)(Người gọi &);
   khoảng trống tĩnh CallThis(FctThisT _fct);
   typedef void(*FctParamT)(Param const &);
   static void CallParam(FctParamT const &_fct, Param const &_param);
};
#endif

tham số.h

#ifndef __Param_h_
#xác định __Param_h_
#include "owExport.h"
lớp EXPORT_Thư viện Thông số
{
public:
};
#endif

owExport.h

#ifndef __owExport_h_
#define __owExport_h_
#define OW_EXPORT __attribute__ ((khả năng hiển thị ("mặc định")))
#define OW_IMPORT
// Sử dụng cái này để sửa một cảnh báo
#define OW_IMPORT __attribute__ ((khả năng hiển thị ("mặc định")))
Thư viện #ifdef_XUẤT KHẨU
# xác định EXPORT_Library OW_EXPORT
#else
# xác định EXPORT_Library OW_IMPORT
#endif
#endif

Định cấu hình CMakeLists.txt của dự án:

cmake_minimum_required(PHIÊN BẢN 3.0.0)
dự án (TestFunction)
đã đặt(BUILD_SHARED_LIBS BẬT)
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++11 -fsanitize=không xác định ")

# Hành động ở đây để gọi hàm thông qua con trỏ tới loại hàm không chính xác
# bộ(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fvisibility=hidden")

add_library(Thư viện người gọi.cxx Param.cxx)
add_executable(TestWithLib Main.cxx)
target_link_libraries(Thư viện TestWithLib)

câu trả lời hay nhất

Trước hết: sẽ không tốt nếu bạn chỉnh sửa câu hỏi của mình để thêm cách khắc phục. Điều này gây khó khăn cho việc trả lời.

Đối với câu hỏi của bạn: Về cơ bản bạn có 2 câu hỏi: câu hỏi đầu tiên là Ssymbol Người gọi, người thứ hai làParam`, về cơ bản cả hai đều giống nhau.

Về nguồn gốc của vấn đề: UBSAN so sánh thông tin loại của con trỏ với thông tin loại dự kiến. Nếu thông tin loại khác, lỗi sẽ được hiển thị. thông tin đánh máy So sánh được thực hiện thông qua so sánh con trỏ. Điều này rất tốt cho tốc độ, nhưng gây ra một vấn đề nhỏ: ngay cả khi các loại thực tế giống hệt nhau, chúng có thể không có chung thông tin đánh máy. Điều này cũng quan trọng khi bạn ném một loại từ thư viện dùng chung và muốn thu thập nó trong tệp thực thi (hoặc ngược lại): việc thu thập được thực hiện thông qua so sánh thông tin loại và nếu hai loại không hoàn toàn giống nhau (chia sẻ giống nhau nhập thông tin), bạn sẽ không nắm bắt được nó.

Vì vậy, câu hỏi đầu tiên của bạn là lớp EXPORT_Người gọi thư viện:Bạn sẽ có điều kiện EXPORT_Thư viện Xác định "xuất" hay không "xuất". Nếu nó được xuất từ ​​nhiều DSO, thông tin loại sẽ được hợp nhất. Trong trường hợp của bạn, bạn đang xuất nó vào thư viện dùng chung chứ không phải vào tệp thực thi, điều này ngăn cản việc hợp nhất chúng. Bạn có thể sử dụng cho việc này BOOST_SYMBOL_EXPORT hoặc OW_EXPORT.

Câu hỏi thứ hai thì ngược lại (giả sử EXPORT_Library==OW_EXPORT):Thông số được xuất khi bao gồm tiêu đề Param.h, việc này chỉ được thực hiện bởi các tệp thực thi chứ không phải thư viện dùng chung. Tương tự, thông tin loại không được hợp nhất -> các loại khác nhau vào hệ thống RTTI.

Điểm mấu chốt: Xuất tất cả các lớp bạn muốn sử dụng qua ranh giới DSO.

Về c++ - Gọi một hàm thông qua một con trỏ tới loại hàm sai (không xác định), chúng tôi đã tìm thấy một câu hỏi tương tự trên Stack Overflow: https://stackoverflow.com/questions/43220926/