4

我想创建只能用作完整类型而不是成员变量类型的类型。

因此，对于此类类型，应允许这样做T：

T a;
^^^
int foo(T b);
        ^^^
struct C { int foo(T b); };
                   ^^^
int main() { T c; }
             ^^^

但这会导致编译时错误：

struct C { T a; };
           ^^^

我非常想介绍迄今为止我尝试过的任何东西，但是没有什么可以至少接近我需要的解决方案，对此感到抱歉。

当然，我也接受证明这在 C++ 中是不可能的答案。

为什么我需要这个？我想拥有smart pointer不能成为另一个对象的元素。防止循环依赖的糟糕方法......

4

2 回答 2

3

如果您可以在类之外使用对象，则它可以是类的成员。我有 99.9% 的把握你不能以任何方式阻止它（这并不限制你可以T以其他方式使用的方式/位置 - 显然拥有一个私有构造函数会阻止它成为一个类的直接成员，但是它还会限制它在您展示的其他三个场景中使用）。

于 2013-06-20T15:48:02.853 回答
3

你不能。从 C++ 语法（重点是我的，为清楚起见省略了相关部分），函数的声明是：

function-definition:
decl-specifier-seqopt declarator ctor-initializeropt function-body
decl-specifier-seqopt declarator function-try-block

对于一个类是：

class-specifier:
class-head { member-specificationopt }

member-specification:
member-declaration member-specificationopt
access-specifier : member-specificationopt

member-declaration:
decl-specifier-seqopt member-declarator-listopt ;
function-definition ;opt
::opt nested-name-specifier templateopt unqualified-id ;
using-declaration
template-declaration
member-declarator-list:
member-declarator
member-declarator-list , member-declarator

member-declarator:
declarator pure-specifieropt
declarator constant-initializeropt
identifieropt : constant-expression

最后declarator是：

declarator:
direct-declarator
ptr-operator declarator

direct-declarator:
declarator-id
direct-declarator ( parameter-declaration-clause ) cv-qualifier-seqopt
exception-specificationopt
direct-declarator [ constant-expressionopt ]
( declarator )

如您所见，可用于函数参数的类型也可以用作类成员。

于 2013-06-20T16:01:57.633 回答