- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在尝试围绕基于 C 的 API 函数编写一个包装器。
用户应该能够将 RandomAccessIterators、指针或 nullptr 作为参数传递给包装函数。
#include <type_traits>
#include <iterator>
template <typename Iter>
constexpr bool is_random_access_iterator_v = std::is_convertible_v<typename std::iterator_traits<Iter>::iterator_category, std::random_access_iterator_tag>;
template <typename Iter>
using iterater_decayed_type_t = std::decay_t<typename std::iterator_traits<Iter>::value_type>;
// convert iterator to pointer
template <typename Iter>
auto get_pointer(Iter it) {
if constexpr (std::is_null_pointer_v<Iter> || std::is_pointer_v<Iter>) {
return it;
} else {
return &*it;
}
}
// InputIter and OutputIter can be arbitrary iterator or pointer.
// OutputIter can also be a nullptr
template <typename InputIter, typename OutputIter>
OutputIter wrapper(InputIter first, InputIter last, OutputIter d_first) {
static_assert(is_random_access_iterator_v<InputIter>, "InputIter needs to be a RandomAccessIterator");
static_assert(std::is_null_pointer_v<OutputIter> || is_random_access_iterator_v<OutputIter>, "OutputIter needs to be a RandomAccessIterator or nullptr");
static_assert(std::is_null_pointer_v<OutputIter> || std::is_same_v<iterater_decayed_type_t<InputIter>, iterater_decayed_type_t<OutputIter>>, "Iterator value types must be identical or OutputIter is nullptr");
using value_t = iterater_decayed_type_t<InputIter>;
using first_ptr_t = typename std::iterator_traits<InputIter>::pointer;
first_ptr_t ptr_first = get_pointer(first);
using d_first_ptr_t = std::conditional_t<std::is_null_pointer_v<OutputIter>, std::nullptr_t, typename std::iterator_traits<OutputIter>::pointer>;
d_first_ptr_t ptr_d_first = get_pointer(d_first);
// func gets arbitrary pointers (void*)
func(ptr_first, ptr_d_first, last - first);
return d_first;
}
此代码无法编译,因为 std::iterator_traits<T>
不专门用于 std::nullptr_t
.
我已经想到了两种可能的解决方案:
1.) 专业std::iterator_traits<std::nullptr_t>
,例如:
namespace std {
template <>
struct iterator_traits<std::nullptr_t> {
using difference_type = std::ptrdiff_t;
using value_type = std::nullptr_t;
using pointer = std::nullptr_t;
using reference = std::nullptr_t;
using iterator_category = std::random_access_iterator_tag;
using iterator_concept = std::random_access_iterator_tag;
};
}
但据我所知,专门化 STL 命名空间成员会很快导致未定义的行为。
2.) 将功能拆分为两个函数。这里的问题是它会导致不必要的复制粘贴代码。此外,我想向原始函数添加几个重载,这将导致最后的函数数量增加两倍(例如,对于 4 个正常重载,我需要使用这种方法进行 8 个重载)。
所以我的问题是:
有什么方法可以不引入可能的未定义行为并且必须创建两倍数量的重载函数来解决这个问题吗?
例如调整 is_random_access_iterator_v
不依赖的特质std::iterator_traits
?
最佳答案
你不能专攻std::iterator_traits<std::nullptr_t>
,但您可以创建自己的特征:
template <typename T>
struct my_iterator_traits : iterator_traits<T> {};
template <>
struct my_iterator_traits<std::nullptr_t>
{
using difference_type = std::ptrdiff_t;
using value_type = std::nullptr_t;
using pointer = std::nullptr_t;
using reference = std::nullptr_t;
using iterator_category = std::random_access_iterator_tag;
using iterator_concept = std::random_access_iterator_tag;
};
并使用my_iterator_traits
满足您的需求。
关于c++ - STL 迭代器、指针和 std::nullptr_t 的模板函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/58276221/
我看到微软的 stddef.h 定义 nullptr_t 是这样的: namespace std { typedef decltype(__nullptr) nullptr_t; } usin
我无法从 C++11 标准中判断 nullptr_t 是否具有默认构造函数。换句话说,以下是否有效?: nullptr_t n; GCC 和 VC++ 允许使用上述代码,但 clang 不允许。我在标
当使用文字 0 时在 C++ 中,编译器无法区分指针和 nullptr_t函数的重载。 说明问题的代码: struct Bar {}; void foo(Bar*) { std::cout #i
第 4.10/1 N3797 节说: A null pointer constant is an integer literal (2.14.2) with value zero or a prval
我有以下带有自定义 Variant 类和自定义 SmartPtr 类的代码: using namespace std; class Object { public: }; template class
以下 C++11 程序在 gcc 4.7.2 下不输出任何内容: #include using namespace std; decltype(nullptr) g() { cout op
引用 C++11:(18.2/9) nullptr_t is defined as follows: namespace std { typedef decltype(nullptr) nullptr
这是nullptr_t的声明在 : namespace std { typedef decltype(nullptr) nullptr_t; } 根据 this , std::nullptr_t是
我了解到nullptr除了可以转换为任何指针类型(但不能转换为任何整数类型)之外,还有自己的类型std::nullptr_t。所以有可能有一个接受 std::nullptr_t 的方法重载。 究竟为什
今天才知道C++允许std::nullptr_t:类型的非类型模板参数 template struct A { }; template void f() { } 在我的一生中,我无法为这些提出任何明智
使用 C++20 的 concept s 我注意到 std::unique_ptr 似乎无法满足 std::equality_comparable_with 概念。从 std::unique_ptr
我正在为游戏制作组件实体系统。 我有一个类,Object,它只是一个用于容纳组件的外壳,这些组件又作为 (typeid, unique_ptr<>) 对存储在 std::map 中的对象中。每个组件都
最初该项目编译并运行良好。然后,在不修改 setuptab.h|.cpp 文件的情况下,我试图避免创建 setuptab 的新实例,所以我尝试将其传递过去。 错误 No matching constr
我有一个启用的模板函数(通过 std::enable_if),它的参数是一个原始指针,或者有一个 std::iterator 类别或者是一个 std::nullptr_t。在该函数中,原始指针(数据成
这个问题在这里已经有了答案: Why is std::is_assignable counter-intuitive? (3 个答案) 关闭 5 年前。 cout ::value ::value <
显然 std::nullptr_t 参数在没有参数传递时被转换为 void * 类型的空指针(N3337 的第 5.2.2/7 节) (通过 ...)。这意味着要正确传递空 char * 指针,例如,
长话短说: 为什么模板化函数不能访问非模板化函数可以访问的相同转换? struct A { A(std::nullptr_t) {} }; template A makeA(T&& arg)
考虑以下代码: #include using namespace std; void fun(const char* s){ if (s == nullptr) { puts
这段代码: #include #include using namespace std; void dump(const std::string& s) { cout &) {
有人正在编译我使用 C++11 的 Qt 程序标准,他们得到了这个错误(Mac OS X/gcc)。我知道我可以声明它,但它不应该已经在 中了吗? ? ./collectable_smartptr.
我是一名优秀的程序员,十分优秀!