如何在成员初始化列表中`static_assert`构造模板class？

Question

我有 MyClass 这是一个模板 class。我想提供一个初始化 r 列表构造函数，以便我可以方便地编写：

MyClass<int> Arr0{ 1,  2,  3, 4, 5, 8 };

另一方面，我不想在这个列表中有重复项，因为这个 class 意味着只有唯一的用户输入。我见过很多检查数组中重复项的方法，我想出了 has_duplicates() 以下函数。

我尝试结合检查std::initializer_list<T>ed临时元素（或数组）是否包含成员初始化列表[=45中的任何重复元素的想法=]本身； 如果它包含 static_assert() 模板实例化，因此不会构造此 class 的对象。

以下是我的代码的最小示例。

#include <iostream> #include <vector> #include <map> #include <algorithm> #include <iterator> #include <initializer_list> template <typename Iterator> // function to check duplicates(which works fine) constexpr bool has_duplicates(Iterator start, Iterator end) { if (start == end) return false; using Type = typename std::remove_reference_t<decltype(*end)>; std::map<Type, std::size_t> countMap; for (; start != end; ++start) { countMap[*start]++; if (countMap[*start] >= 2) return true; } return false; } template <typename T> class MyClass { private: std::vector<T> m_vec; public: MyClass(std::initializer_list<T> a) : (has_duplicates(a.begin(), a.end()) //-----> here is the problem ? static_assert(false, " the array has duplicates....") : m_vec(a) ) { std::cout << "Constriction successful...."; } }; int main() { std::vector<int> test{ 1, 2, 3, 4, 1 }; std::cout << std::boolalpha << has_duplicates(test.begin(), test.end()) << std::endl; // works MyClass<int> Arr0{ 1, 2, 3, 4 }; // error return 0; }

在 MSVC 16.0（C++17 标志）中编译时，出现错误：

error C2059: syntax error: 'static_assert' note: while compiling class template member function 'MyClass<int>::MyClass(std::initializer_list<_Ty>)' with [ _Ty=int ] note: see reference to function template instantiation 'MyClass<int>::MyClass(std::initializer_list<_Ty>)' being compiled with [ _Ty=int ] note: see reference to class template instantiation 'MyClass<int>' being compiled error C2143: syntax error: missing ';' before '}' error C2059: syntax error: ')' error C2447: '{': missing function header (old-style formal list?)

它说了一个简单的语法错误，但我没有看到任何 static_assert。

谁能帮我找出错误？

在上述情况下，防止构造 std::initializer_list<T> constutor 参数的正确方法是什么？

Answer 1

你试图做的，static 断言来检查构造函数的参数，（据我所知）根本不可能。

A static_assert() 在 MyClass 对象被初始化（可以被初始化）的编译时间工作运行-time.

我能想象的最好的是 make_MyClass() 接收参数列表作为模板参数的函数

template <auto v0, auto ... vs>
auto make_MyClass ()
 {
   static_assert( false == has_duplicates<v0, vs...>() );

   return MyClass<decltype(v0)>{ v0, vs... };
 }

所以你可以执行 static_assert() 因为现在你知道编译时的值；我重写了 has_duplicates() 函数如下，因为你原来的函数不能有效 constexpr （因为 std::map 不是）

template <typename = void>
constexpr bool has_duplicates ()
 { return false; }

template <auto v0, auto ... vs>
constexpr bool has_duplicates ()
 { return ((v0 == vs) || ... ) || has_duplicates<vs...>(); }

下面是一个完整的编译示例

#include <iostream>
#include <vector>
#include <initializer_list>

template <typename = void>
constexpr bool has_duplicates ()
 { return false; }


template <auto v0, auto ... vs>
constexpr bool has_duplicates ()
 { return ((v0 == vs) || ... ) || has_duplicates<vs...>(); }  

template <typename T> class MyClass
{
private:
    std::vector<T> m_vec;

public:
    MyClass(std::initializer_list<T> a) : m_vec{a}
     { std::cout << "Constriction successful...."; }
};

template <auto v0, auto ... vs>
auto make_MyClass ()
 {
   static_assert( false == has_duplicates<v0, vs...>() );

   return MyClass<decltype(v0)>{ v0, vs... };
 }

int main ()
 {
    std::cout << std::boolalpha 
        << has_duplicates<1, 2, 3, 4, 1>() << std::endl;

    auto mc0 = make_MyClass<1, 2, 3, 4, 5>(); // compile
    //auto mc1 = make_MyClass<1, 2, 3, 4, 1>(); // static_assert error
 }

如何在成员初始化列表中`static_assert`构造模板class？

How to `static_assert` the construction of a template class in member initializer list?

c++

static-assert

template-meta-programming

stdinitializerlist

c++17