Question

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

目前，我的代码类似于：

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揭示其假定可变参数包是什么吗？

编辑问题与需要抛出的副本构造有关，非常特定于Clang-Cl

Answer 1

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

完整复制：

test.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;
}

run.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.

调试可变参数

1 个答案:

test.cpp

run.bat

错误