为什么我可以在私有类型上使用auto？
为什么我可以在私有类型上使用auto？
提问于 2012-11-24 00:29:16
令我感到惊讶的是，以下代码可以编译并运行(vc2012 & gcc4.7.2)
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，而不能使用它的名称(正如预期的那样)？
回答 4
Stack Overflow用户
回答已采纳
发布于 2012-11-24 00:32:37
auto的规则在很大程度上与模板类型推导规则相同。上述示例的工作原因与您可以将私有类型的对象传递给模板函数的原因相同：
template <typename T>
void fun(T t) {}
int main() {
Foo f;
fun(f.Baz()); // ok
}你会问，为什么我们可以将私有类型的对象传递给模板函数？因为只有类型的名称是不可访问的。类型本身仍然可用，这就是为什么您可以将其返回给客户端代码的原因。
Stack Overflow用户
发布于 2016-05-02 17:29:40
这个问题已经被chill和R. Martinho Fernandes回答得很好了。
我只是不能错过用哈利波特类比回答问题的机会：
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;
}感谢Quentin提醒我哈里漏洞。
Stack Overflow用户
发布于 2016-02-18 10:56:59
为了补充其他(好的)答案，这里有一个来自C++98的示例，它说明了这个问题实际上与auto无关
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++中都可以创建该类型的未命名临时文件。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/13532784
复制相关文章
相似问题
腾讯云开发者
