首页
学习
活动
专区
工具
TVP
发布
社区首页 >问答首页 >为什么我可以在私有类型上使用auto?

为什么我可以在私有类型上使用auto?
EN

Stack Overflow用户
提问于 2012-11-24 00:29:16
回答 4查看 5K关注 0票数 147

令我感到惊讶的是,以下代码可以编译并运行(vc2012 & gcc4.7.2)

代码语言:javascript
复制
class Foo {
    struct Bar { int i; };
public:
    Bar Baz() { return Bar(); }
};

int main() {
    Foo f;
    // Foo::Bar b = f.Baz();  // error
    auto b = f.Baz();         // ok
    std::cout << b.i;
}

这段代码编译得很好,这是正确的吗?为什么它是正确的?为什么我可以在私有类型上使用auto,而不能使用它的名称(正如预期的那样)?

EN

回答 4

Stack Overflow用户

回答已采纳

发布于 2012-11-24 00:32:37

auto的规则在很大程度上与模板类型推导规则相同。上述示例的工作原因与您可以将私有类型的对象传递给模板函数的原因相同:

代码语言:javascript
复制
template <typename T>
void fun(T t) {}

int main() {
    Foo f;
    fun(f.Baz());         // ok
}

你会问,为什么我们可以将私有类型的对象传递给模板函数?因为只有类型的名称是不可访问的。类型本身仍然可用,这就是为什么您可以将其返回给客户端代码的原因。

票数 117
EN

Stack Overflow用户

发布于 2016-05-02 17:29:40

这个问题已经被chill和R. Martinho Fernandes回答得很好了。

我只是不能错过用哈利波特类比回答问题的机会:

代码语言:javascript
复制
class Wizard
{
private:
    class LordVoldemort
    {
        void avada_kedavra()
        {
            // scary stuff
        }
    };
public:
    using HeWhoMustNotBeNamed = LordVoldemort;

    friend class Harry;
};

class Harry : Wizard
{
public:
    Wizard::LordVoldemort;
};

int main()
{
    Wizard::HeWhoMustNotBeNamed tom; // OK
    // Wizard::LordVoldemort not_allowed; // Not OK
    Harry::LordVoldemort im_not_scared; // OK
    return 0;
}

https://ideone.com/I5q7gw

感谢Quentin提醒我哈里漏洞。

票数 13
EN

Stack Overflow用户

发布于 2016-02-18 10:56:59

为了补充其他(好的)答案,这里有一个来自C++98的示例,它说明了这个问题实际上与auto无关

代码语言:javascript
复制
class Foo {
  struct Bar { int i; };
public:
  Bar Baz() { return Bar(); }
  void Qaz(Bar) {}
};

int main() {
  Foo f;
  f.Qaz(f.Baz()); // Ok
  // Foo::Bar x = f.Baz();
  // f.Qaz(x);
  // Error: error: ‘struct Foo::Bar’ is private
}

使用私有类型并不是被禁止的,它只是命名类型。例如,在所有版本的C++中都可以创建该类型的未命名临时文件。

票数 9
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/13532784

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档