4

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

目前我的代码看起来类似于：

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

4

1 回答 1

2

手头的问题似乎是编译器错误，记录为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.
于 2018-09-01T09:26:43.543 回答