c++17 相关问题

我有一个使用“经典”SFINAE 的代码。 template auto power(M const& elem) -> decltype(std::norm(elem)) { return std::norm(elem); } 模板我有一个使用“经典”SFINAE 的代码。 template<class M> auto power(M const& elem) -> decltype(std::norm(elem)) { return std::norm(elem); } template<class M, class = std::enable_if_t<(M::rank::value >= 1)>> auto power(M const& array) { return accumulate(begin(array), end(array), 0.0, [](auto const& alpha, auto const& omega) { return alpha + power(omega); }); } 这是一个递归（跨维度或等级）“幂”函数，通过计算较低维度子元素的幂，最终给出元素的平方和。现代 C++ 鼓励使用 if constexpr 以避免使用 SFINAE，如下所示。 template<class M> auto power(M const& array) { if constexpr(M::rank::value >= 1) { return accumulate(begin(array), end(array), 0.0, [](auto const& alpha, auto const& omega) { return alpha + power(omega); }); } else { return std::norm(array); } } 问题在于，if constexpr中的表达式似乎首先必须是有效的表达式。元素没有名为 rank 的成员类型，因此会出现编译错误。如果表达式无效，是否有技巧可以使 if constexpr 谓词？ C++20 及更新版本： if constexpr (requires{requires std::bool_constant</*condition*/>::value;}) 还有一个不太详细的选项： if constexpr (requires{requires /*condition*/;}) 但是后者更糟糕，因为如果编译时不知道条件，它会导致硬错误，而前者只是返回 false。前者在标准库中使用（另请参阅在嵌套需求中，为什么使用requires bool_constant<X>::value;而不是requires X;？）。 C++17：使用检测惯用语： #include <type_traits> namespace detail { template <typename ...P> struct void_type {using type = void;}; template <typename DummyVoid, template <typename...> typename A, typename ...B> struct is_detected : std::false_type {}; template <template <typename...> typename A, typename ...B> struct is_detected<typename void_type<A<B...>>::type, A, B...> : std::true_type {}; } template <template <typename...> typename A, typename ...B> inline constexpr bool is_detected = detail::is_detected<void, A, B...>::value; 然后： template <typename M> using CheckRank = std::enable_if_t<M::rank::value >= 1>; if constexpr (is_detected<CheckRank, M>)

c++ c++17 sfinae if-constexpr

回答 1 投票 0

是否通过值显式捕获此值强制复制此值，即使它未在 lambda 主体中使用？

如果我在类成员函数中有一个 lambda，并且它实际上不需要捕获 this （例如，它不使用任何成员变量），则显式捕获 this （按值）会强制复制 thi. ..

c++ lambda c++17

回答 1 投票 0

`std::可选`工厂函数，具有保证复制省略和`私有`构造函数，没有密钥习惯用法

考虑以下模式：类部件 { 私人的：显式小部件（依赖&&）；民众：静态 std::可选 make(std::文件系统::路径 p) { 标准::

c++ c++17 explicit copy-elision stdoptional

回答 1 投票 0

删除了模板类构造函数，但有一个专门化与 clang 和 gcc 的行为不同

我正在尝试理解这种行为。我创建了一个模板类，其中删除了构造函数，然后将其专门用于 int 类型。我的目标是仅为 int 创建实例（