【问题标题】:Scope resolution operator being used twice范围解析运算符被使用两次
【发布时间】:2018-05-14 11:28:05
【问题描述】:
namespace libzerocoin {

//Commitment class
Commitment::Commitment::Commitment(const IntegerGroupParams* p,
                               const Bignum& value): params(p), contents(value) {
this->randomness = Bignum::randBignum(params->groupOrder);
this->commitmentValue = (params->g.pow_mod(this->contents, params->modulus).mul_mod(
                         params->h.pow_mod(this->randomness, params->modulus), params->modulus));
}

我刚刚在GitHub上遇到了这个函数定义。

我假设第二个和第三个“承诺”指的是类名和构造函数,但我无法弄清楚第一个的含义。我确信它没有引用命名空间,因为该名称不同。我已经看到在示例中使用了两次范围解析运算符,但它们指的是嵌套的命名空间。

【问题讨论】:

  • 偶类 B { B(); }; B::B::B::B() {} 使用 gcc 和 clang 编译,但 MSVC 存在问题。有趣的。也许注入类型。

标签: c++ class constructor namespaces name-lookup


【解决方案1】:

在 C++ 中,类具有将其名称注入其作用域 ([class]/2) 的特性:

class-name 也被插入到类本身的作用域中; 这被称为 injected-class-name。出于访问目的 检查,injected-class-name 被视为公共的 会员名。

您展示的代码 sn-p 使用了它。在某些情况下Commitment::Commitment 命名类本身,而在其他情况下命名 c'tor。只有最后一个Commitment((您打开括号的位置)开始了 c'tor 定义。

而且看起来更糟:

struct foo {
    foo();
};

foo::foo::foo::foo() = default;

您可以看到有效的 C++ Live

【讨论】:

  • 这个奇怪功能的目的是什么?
  • @DevNull - 我敢打赌这是为了平滑通用代码的某些锐利边缘。但老实说,我从来没有偶然发现它。
猜你喜欢
  • 1970-01-01
  • 2012-04-20
  • 2010-09-09
  • 1970-01-01
  • 2014-10-05
  • 2015-12-18
  • 2020-12-12
  • 2021-09-26
相关资源
最近更新 更多