c++调试遇到奇怪问题

struct DV_COMMON_EXPORT product_config {


    int detect_delay_ms = 0;


    int reject_delay_ms = 0;

    int detect_count_oneshot = 1;
    int detect_count = 0;

    int detect_count_interval = 100;
    std::string ref_image_path = "1";

    int cam_x =2;
    int cam_y =3;


    // yuv420p",rgb888
    std::string rpicam_pixel_type = "yuv420p";

    int tmp =44;
};

调试时发现从第一个字符串往后，字段都没有正常初始化

(gdb) info line
Line 1021 of "/repos/dv_app_solution/prism_all/prism/include/prism/prismJson.hpp"
   starts at address 0x7fffeb60f470 <prism::json::fromJsonString<dv_common_config>(std::string const&&)+28>
   and ends at 0x7fffeb60f478 <prism::json::fromJsonString<dv_common_config>(std::string const&&)+36>.
(gdb) list
1016	
1017	template <class T>
1018	static inline std::unique_ptr<T> fromJsonString(const std::string&& str)
1019	{
1020	    std::unique_ptr<T> model = std::make_unique<T>();
1021	    privates::jsonType<T>::type::from_jsonStr(std::move(*model), std::move(str), 0, static_cast<int>(str.length() - 1));
1022	
1023	    return model;
1024	}
1025	template <class T>
(gdb) print *model
$9 = {detect_delay_ms = 0, reject_delay_ms = 0, detect_count_oneshot = 1, detect_count = 0, detect_count_interval = 100, ref_image_path = "", cam_x = 0, 
  cam_y = 0, rpicam_pixel_type = <error reading variable: Cannot create a lazy string with address 0x0, and a non-zero length.>, tmp = 796092265}
(gdb)

程序会在后面的逻辑中，崩溃在使用 rpicam_pixel_type 这个字段的时候,用 asan 看了是由于这个错误的字符串被认为超过 10 个 T 导致崩溃随便把它赋值给其他变量就会崩溃

没有思路，有什么方式进一进定位吗

geelaw

206 天前

@hwdq0012 #22 代码里 product_config 没有基类。

楼主的代码疑点很多，比如 const && 是无法被移走的，几乎所有代码里 const && 都是错误。

@GeruzoniAnsasu #14 std::move 并不会导致对象变化，因为只是 static_cast 到 rvalue reference 而已。
被移动过的 std::string 依然处于有效状态，调试器显示 rpicam_pixel_type 是 address 0 length positive 所以那个位置是无效状态，因此必然存在 bug ，而且并不是由正常的移动构造引起的。

cxiaobao

206 天前

template <class T>
1018 static inline std::unique_ptr<T> fromJsonString(const std::string&& str)
1019 {
1020 std::unique_ptr<T> model = std::make_unique<T>();
1021 privates::jsonType<T>::type::from_jsonStr(std::move(*model), std::move(str), 0, static_cast<int>(str.length() - 1));
1022 ~~~~~~~~~~~~~~ model 是移动语义进入 from_jsonStr 方法的，如果 from_jsonStr 取走了数据所有权，model 会被清空
1023 return model;
~~~~~~~~~ 这里不应该返回 model ，因为 model 可能已经被清空了，
通常，from_jsonStr 应该返回一个对象，这个对象取得了原本 model 中的数据，应该考虑返回这个对象
1024 }

hwdq0012

205 天前

@liberize 检查过了，全盘 find |grep 只有一个源码目录和一个安装目录，vimdiff 看了是一样的

@cxiaobao 应该不是这个问题，这里只是 make_unique 一个局部变量，还没执行到 Move 那一行

@geelaw 是的，我怀疑是链接之类的 bug ，但我已经把 Build 目录铲掉重编译了还是这样

@bfjm 局部变量 make_unique 后构建后就初始化有问题，应该和多线程没关系，和 move 也没关系