- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在实现 std::optional
,但遇到了其中一个障碍 copy constructors .
这是我的实现草图:
#include <type_traits>
template<typename T>
class optional
{
public:
constexpr optional()
: m_is_engaged(false)
{}
constexpr optional(const optional &other)
: m_is_engaged(false)
{
operator=(other);
}
constexpr optional &operator=(const optional &other)
{
if(other.m_is_engaged)
{
return operator=(*other);
}
else if(m_is_engaged)
{
// destroy the contained object
(**this).~T();
m_is_engaged = false;
}
return *this;
}
template<typename U>
optional &operator=(U &&value)
{
if(m_is_engaged)
{
operator*() = value;
}
else
{
new(operator->()) T(value);
m_is_engaged = true;
}
return *this;
}
T* operator->()
{
return reinterpret_cast<T*>(&m_data);
}
T &operator*()
{
return *operator->();
}
private:
bool m_is_engaged;
typename std::aligned_storage<sizeof(T),alignof(T)>::type m_data;
};
#include <tuple>
int main()
{
optional<std::tuple<float, float, float>> opt;
opt = std::make_tuple(1.f, 2.f, 3.f);
return 0;
}
问题是编译器提示 optional
的 constexpr
构造函数没有空体:
$ g++ -std=c++11 test.cpp
test.cpp: In copy constructor ‘constexpr optional<T>::optional(const optional<T>&)’:
test.cpp:15:5: error: constexpr constructor does not have empty body
}
^
否则我不确定如何初始化optional::m_data
,而且我无法在网络上找到引用实现(boost::optional
显然不使用 constexpr
)。
有什么建议吗?
最佳答案
在 C++11 中,标记为 constexpr
的函数和构造函数的功能非常有限。对于构造函数,它基本上不能包含除static_assert
、typedef
或using 声明 或using 指令 以外的任何内容, 这排除了在构造函数体内调用 operator=
的可能性。
关于c++ - 如何实现 std::optional 的拷贝构造函数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/21248347/
我经常使用 var options = options || {} 作为默认为空对象的方式。它通常用于初始化选项对象,以防它未在函数调用的参数中传递。 问题是我在几个地方(博客文章、源代码)读到opt
我是Python中Rust的新手。这是我学习Rust的第四天。 在第一个问题Type casting for Option type之后,我有一个跟语法match和所有权概念有关的后续问题。 首先,我
我正在学习 Ray Wenderlich。我遇到了闭包语法错误。我想知道 Xcode 提示是什么意思? Xcode 报告如下: /Users/.../FlickrPhotosViewControlle
使用 Python 编写命令行界面 (CLI) 时 click library , 是否可以定义例如三个选项,其中仅当第一个(可选)未设置时才需要第二个和第三个选项? 我的用例是一个登录系统,它允许我
我有一个这样的 JPA 查询。 PersonRepository.java public Optional> findByStatus(int status); 人员服务.java System.ou
我遇到了很多地方,我有类似的东西 def f(s: String): Option[Long] = ... def g(l: Long): IO[Option[Wibble]] = ... val a
我有一个results: List[Future[Option[T]]]其中包含(并行)计算。 我想获得第一个非None尽快出结果,或者返回None如果所有计算都返回 None . 目前,我正在这样做
我正在尝试加载一个简单的 Listbox组件来自 @headlessui/react . 选择.tsx type Option = { id: number name: string
如何将Future[Option[Future[Option[X]]]]转换为Future[Option[X]]? 如果它是 TraversableOnce 而不是 Option 我会使用 Futur
Haskell、Rust 等语言提供了一个 Maybe 或 Option 类型。即使在 Java 中,也有一个 Optional 现在打字。 为简单起见,我将在剩下的问题中将此类型称为“选项类型”。
当我尝试在 SQL 中存储一个 XML 而不是一个空元素时,SQL 只是更改它并仅使用一个元素标签来存储它。例如,要存储的 XML 是: ROGER 然后Sql存起来就好了
使用这个非常好的命令行解析器 Argo(仅 header C++ 库)我遇到了一个小问题。请参阅:https://github.com/phforest/Argo Argo 返回:'Error: Un
我是来自 Java 背景的 Scala 新手,目前对考虑 Option[T] 的最佳实践感到困惑. 我觉得用 Option.map只是更实用和美观,但这不是说服其他人的好理由。有时, isEmpty
这个问题在这里已经有了答案: Chaining Optionals in Java 8 (9 个回答) Optional orElse Optional in Java (6 个回答) Functio
Optional::stream如果存在,则返回一个包含该值的 Stream,否则返回一个空流。所以对于 Stream> optionals , optionals.flatMap(Optional:
我使用箭头键作为输入,在 printf 菜单中上下移动 printf 箭头(“==>”)。 我正在使用一个函数来计算箭头应该在的位置,并使用 switch case 和 printf("\n==>")
这个问题在这里已经有了答案: What does the construct x = x || y mean? (12 个答案) 关闭 9 年前。 如我的问题标题所述,我最近偶然发现了这个变量声明:
这个问题在这里已经有了答案: BackboneJS: What is options || (options = {}); in Backbone source code (1 个回答) 关闭 8
我有这个简单的语法: word = Word(alphanums + '_') with_stmt = Suppress('with') + OneOrMore(Group(word('key') +
使用 Cucumber 和 SitePrism 编写测试,我在页面上有以下 HTML... Select a Status Active Product Inactive Prod
我是一名优秀的程序员,十分优秀!