断言语句中模板结构实例化的语法错误

Question

对于 header 中定义的以下模板结构：

#include <unordered_set>

namespace Utilities::ContainerHelpers
{
    template <template <class> class TContainer, class TVal>
    struct is_unique
    {
        bool operator()(TContainer<TVal> const& container) const
        {
            std::unordered_set<TVal, typename TVal::HashFunc> 
                uniqueSubset(container.begin(), container.end());

            return container.size() == uniqueSubset.size();
        }
    };
}

在断言的上下文中使用时出现语法错误：

assert(Utilities::ContainerHelpers::is_unique< std::vector, TelemDetail >{}(telem_detail_obj);

但不是在断言之外定义为临时的。 TelemDetail类型并不重要，只是包含一个嵌套的HashFunc结构类型。

警告 C4002：对于类似函数的宏调用“断言”，arguments 过多

错误 C2059：语法错误：')'

感觉好像我错过了一些明显的东西？ 使用 MSVC 2019 编译 -std=c++17

Answer 1

assert ，作为每个宏，不理解 C++ ,它将每个逗号视为 arguments 分隔符：

assert(is_unique< std::vector, TelemDetail >{}(session_details));
//    (   first arg          ,  second arg                     )
//                                   

但是预处理器宏“理解” () - 所以只需添加额外的()对：

assert((is_unique< std::vector, TelemDetail >{}(session_details)));