- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
我正在研究的组合算法需要大整数,作为练习,我想我会编写一个简单的 128 位整数类,但我遇到了一些与构造函数不一致的问题。
我有多个构造函数,因此您可以从另一个构造函数(使用隐式复制构造函数)或从 64 位整数或一对 64 位整数创建 uint128_t
。这一切都有效,但令我困惑的是我可以使用以下语法:
uint128_t a = 123ull;
uint128_t b = a;
但不是:
uint128_t e = {123ull, 456ull}; // COMPILER ERROR
uint128_t f = std::make_pair(123ull, 456ull); // COMPILER ERROR
即使这些工作:
uint128_t c({123ull, 456ull});
uint128_t d(std::make_pair(123ull, 456ull));
我得到的错误是:
could not convert '{123, 345}' from '<brace-enclosed initializer list>' to 'uint128_t'
conversion from 'std::pair<long long unsigned int, long long unsigned int>' to non-scalar type 'uint128_t' requested
我可以只使用有效的语法,但我想知道是否缺少一些简单的东西可以使 uint128_t a = {1,2}
语法起作用,因为将使现有代码更容易转换为使用 128 位整数。
这里概述了哪些有效,哪些无效,以及类(class)的相关部分:
#include "uint128_t.hpp"
int main() {
uint128_t a = 123ull; // explixit constructor from uint64_t = ok
uint128_t b = a; // implicit copy constructor = ok
a = b; // assignment from uint128_t = ok
b = 123ull; // assignment from uint64_t = ok
a = {123ull, 456ull}; // assignment from pair of uint64_t = ok
b = std::make_pair(123ull, 456ull); // assignment from pair of uint64_t = ok
uint128_t c({123ull, 456ull}); // explixit constructor from pair = ok
uint128_t d(std::make_pair(123ull, 456ull));
uint128_t e = {123ull, 456ull}; // COMPILER ERROR
uint128_t f = std::make_pair(123ull, 456ull); // COMPILER ERROR
return 0;
}
#include <cstdint>
class uint128_t {
private:
uint64_t hi;
uint64_t lo;
public:
uint128_t() {}
~uint128_t() {}
uint128_t(uint64_t const& val) {
hi = UINT64_C(0);
lo = val;
}
uint128_t(std::pair<uint64_t const, uint64_t const> const& val) {
hi = val.first;
lo = val.second;
}
uint128_t const& operator=(uint128_t const&);
uint128_t const& operator=(uint64_t const);
uint128_t const& operator=(std::pair<uint64_t const, uint64_t const> const&);
}
#include "uint128_t.hpp"
uint128_t const& uint128_t::operator=(uint128_t const& other) {
this->hi = other.hi;
this->lo = other.lo;
return *this;
}
uint128_t const& uint128_t::operator=(uint64_t const val) {
this->hi = UINT64_C(0);
this->lo = val;
return *this;
}
uint128_t const& uint128_t::operator=(std::pair<uint64_t const, uint64_t const> const& val) {
this->hi = val.first;
this->lo = val.second;
return *this;
}
最佳答案
在你的第一个复制初始化中
uint128_t e = {123ull, 456ull};
您正在使用多值列表来初始化非聚合类。根据 list-initialization 的规则,在这种情况下,编译器将考虑 std::initializer_list
构造函数,然后它会考虑您的类中的双参数构造函数。您的类中不存在匹配的构造函数,因此初始化失败。
您可能希望编译器将 {123ull, 456ull}
转换为 std::pair
,然后使用该 std::pair
来初始化 e
。但是 C++ 中的列表初始化不考虑这个初始化路径。 (注意,顺便说一句,这看起来也像是两个用户定义的转换序列,见下文。)
你的第二次复制初始化
uint128_t f = std::make_pair(123ull, 456ull);
由于以下简化代码失败的相同原因而失败
struct A { A(int) {} };
struct B { B(const A &) {} };
int main() {
B b1(42); // OK
B b2 = 42; // Error
}
上述复制初始化在其转换序列中需要 两个 隐式用户定义转换:从 int
到 A
,然后从 A
到 B
。即使存在这样的转换,也不允许隐式应用其中两个。复制初始化中最多允许一个隐式用户定义转换。
在您的情况下,您请求从 std::pair<unsigned long long, unsigned long long>
转换为 std::pair<uint64_t const, uint64_t const>
(构造函数参数类型),然后从 std::pair<uint64_t const, uint64_t const>
转换为 uint128_t
- 两次转换。这些转化存在,但连续两次太多了。
即使您确保 std::make_pair
的参数具有 uint64_t
类型,const
中的那些 std::pair<uint64_t const, uint64_t const>
限定符仍然会强制执行额外的转换。您的 make_pair
调用将产生一个 std::pair<uint64_t, uint64_t>
值,该值必须先转换为 std::pair<uint64_t const, uint64_t const>
,然后再转换为 uint128_t
。
关于c++ - 以 std::pair 作为参数的构造函数:T a({1,2}) 有效,T a = {1,2} 无效,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/47523869/
我对这个错误很困惑: Cannot implicitly convert type 'System.Func [c:\Program Files (x86)\Reference Assemblies\
考虑这段代码: pub trait Hello { fn hello(&self); } impl Hello for Any { fn hello(&self) {
问题很简单。是否可以构造这样一个类型 T,对于它下面的两个变量声明会产生不同的结果? T t1 = {}; T t2{}; 我已经研究 cppreference 和标准一个多小时了,我了解以下内容:
Intellij idea 给我这个错误:“Compare (T, T) in Comparator cannot be applied to (T, T)” 对于以下代码: public class
任何人都可以告诉我 : n\t\t\t\t\n\t\t\t 在以下来自和 dwr 服务的响应中的含义和用途是什么. \r\n\t\t\t \r\n\t\t\t
让 T 成为一个 C++ 类。 下面三个指令在行为上有什么区别吗? T a; T a(); T a = T(); T 为不带参数的构造函数提供了显式定义这一事实是否对问题有任何改变? 后续问题:如果
Rust中的智能指针是什么 智能指针(smart pointers)是一类数据结构,是拥有数据所有权和额外功能的指针。是指针的进一步发展 指针(pointer)是一个包含内存地
比如我有一个 vector vector > v={{true,1},{true,2},{false,3},{false,4},{false,5},{true,6},{false,7},{true,8
我有一个来自 .xls 电子表格的数据框,我打印了 print(df.columns.values) 列,输出包含一个名为:Poll Responses\n\t\t\t\t\t。 我查看了 Excel
This question already has answers here: What are good reasons for choosing invariance in an API like
指针类型作为类型前缀与在类型前加斜杠作为后缀有什么区别。斜线到底是什么意思? 最佳答案 语法 T/~ 和 T/& 基本上已被弃用(我什至不确定编译器是否仍然接受它)。在向新向量方案过渡的初始阶段,[T
我正在尝试找到一种方法来获取模板参数的基类。 考虑以下类: template class Foo { public: Foo(){}; ~Foo(){};
这是一个让我感到困惑的小问题。我不知道如何描述它,所以只看下面的代码: struct B { B() {} B(B&) { std::cout ::value #include
为什么有 T::T(T&) 而 T::T(const T&) 更适合 copy ? (大概是用来实现move语义的???) 原始描述(被melpomene证明是错误的): 在C++11中,支持了一种新
在 Java 7 中使用 eclipse 4.2 并尝试实现 List 接口(interface)的以下方法时,我收到了警告。 public T[] toArray(T[] a) { ret
假设有三个函数: def foo[T](a:T, b:T): T = a def test1 = foo(1, "2") def test2 = foo(List(), ListBuffer()) 虽
我对柯里化(Currying)和非柯里化(Currying)泛型函数之间类型检查的差异有点困惑: scala> def x[T](a: T, b: T) = (a == b) x: [T](a: T,
考虑一个类A,我如何编写一个具有与相同行为的模板 A& pretty(A& x) { /* make x pretty */ return x; } A pretty(A&& x) {
Eclipse 表示由于泛型类型橡皮擦,类型参数不允许使用 instanceof 操作。 我同意在运行时不会保留任何类型信息。但是请考虑以下类的通用声明: class SomeClass{ T
在 C++14 中: 对于任何整数或枚举类型 T 以及对于任何表达式 expr: 有没有区别: struct S { T t { expr }; }; 和 struct S { T t = { exp
我是一名优秀的程序员,十分优秀!