调试可变参数

Debug variadic arguments

本文关键字：参数 变参 调试      更新时间：2023-10-16

我目前正在调试构建中的一个问题，在可变参数中，参数的数量与预期不符。

目前我的代码类似于：

class CustomException : public BaseException
{
public:
template<typename ...T>
CustomException(T &&...args) : BaseException(std::forward<T>(args)...)
{
static_assert(sizeof...(T) == 2);
}
};
throw CustomException{size_t{}, size_t{}};

基于此代码，人们会期望将 2 个参数传递给 Ctor。

令人惊讶的是，此代码在 MSVC 中按预期执行，而在使用 Clang 的static_assert上失败。

你们中有谁知道一个技巧来迫使叮当揭示它假设可变参数包是什么？

编辑问题与需要抛出的复制结构有关，非常特定于 Clang-Cl

手头的问题似乎是编译器错误，记录为 https://bugs.llvm.org/show_bug.cgi?id=38801

完整复制品：

测试.cpp

struct A
{
template<typename ... T>
A(T &&...t)
{
static_assert(sizeof...(T) == 2);
}
A(const A &) = default;
//A(A &) = default;
A(A &&) = default;
A &operator=(const A &) = default;
A &operator=(A &&) = default;
};

int main(int, char **)
{
throw A{size_t{}, size_t{}};
return 0;
}

跑.bat

clang-cl.exe -fms-compatibility-version=19.11 /DBOOST_USE_WINDOWS_H -w -Wno-unused-command-line-argument /Zc:inline /nologo /c /GR /EHsc /fp:precise /FS /std:c++17 /diagnostics:caret /O2 /I. /MDd /Zc:forScope /bigobj /Zc:wchar_t test.cpp

错误

test.cpp(7,7):  error: static_assert failed
static_assert(sizeof...(T) == 2);
^             ~~~~~~~~~~~~~~~~~
test.cpp(20,10):  note: in instantiation of function template specialization 'A::A<A &>' requested here
throw A{size_t{}, size_t{}};
^
1 error generated.
相关文章：