<![CDATA[MISRA Discussion Forums - 6.12 Special member functions (C++)]]> https://forum.misra.org.uk/ Thu, 05 Nov 2026 15:13:35 +0000 MyBB <![CDATA[Syntactic clarification of 12-8-1 wording]]> https://forum.misra.org.uk/showthread.php?tid=1053 Thu, 24 Apr 2014 16:06:56 +0000 gs]]> https://forum.misra.org.uk/showthread.php?tid=1053
Quote:A copy constructor shall only initialize its base classes and the non-static members of the class of which it is a member.
Does this sentence mean:
Quote: A copy constructor may only initialize and, when doing so, may only initialize its base classes and the non-static members of the class of which it is a member.
or
Quote:A copy constructor may do things other than initialization but, if it does initialize, it may only initialize its base classes and the non-static members of the class of which it is a member.
?]]>
Quote:A copy constructor shall only initialize its base classes and the non-static members of the class of which it is a member.
Does this sentence mean:
Quote: A copy constructor may only initialize and, when doing so, may only initialize its base classes and the non-static members of the class of which it is a member.
or
Quote:A copy constructor may do things other than initialization but, if it does initialize, it may only initialize its base classes and the non-static members of the class of which it is a member.
?]]> <![CDATA[Example for Rule 12–1–1]]> https://forum.misra.org.uk/showthread.php?tid=604 Wed, 24 Dec 2008 11:34:08 +0000 pkruk]]> https://forum.misra.org.uk/showthread.php?tid=604
I'm not sure if the example for this rule is correct in one case. Simplified code:

Code:
class B2
{
public:
virtual ~B2 ( );
B2 ( )
{
typeid ( B2 ); // Non-compliant
}
};

Why is this typeid non compliant? It does not use object’s dynamic type so it should not be a violation of the rule. This is similar to using typeid on e.g. not polymorphic type, which is allowed by the rule. ISO/IEC 14882:2003(E) standard:

Quote:5.2.8
3. When typeid is applied to an expression other than an lvalue of a polymorphic class type, the result
refers to a type_info object representing the static type of the expression. [...]
4. When typeid is applied to a type-id, the result refers to a type_info object representing the type of the
type-id. [...]
]]>
I'm not sure if the example for this rule is correct in one case. Simplified code:

Code:
class B2
{
public:
virtual ~B2 ( );
B2 ( )
{
typeid ( B2 ); // Non-compliant
}
};

Why is this typeid non compliant? It does not use object’s dynamic type so it should not be a violation of the rule. This is similar to using typeid on e.g. not polymorphic type, which is allowed by the rule. ISO/IEC 14882:2003(E) standard:

Quote:5.2.8
3. When typeid is applied to an expression other than an lvalue of a polymorphic class type, the result
refers to a type_info object representing the static type of the expression. [...]
4. When typeid is applied to a type-id, the result refers to a type_info object representing the type of the
type-id. [...]
]]> <![CDATA[Do implicitly generated copy-assignment operators count?]]> https://forum.misra.org.uk/showthread.php?tid=578 Tue, 09 Sep 2008 17:31:22 +0000 gs]]> https://forum.misra.org.uk/showthread.php?tid=578
Quote:The copy assignment operator shall be declared protected or private in an abstract class.
Does this prohibition also include the implicitly generated copy assignment operator? When implicitly generated, ISO C++, 12.8, p. 10, states:
Quote:An implicitly-declared copy assignment operator is an inline public member of its class.
So, does the following code comply with rule 12-8-2:
Code:
class A
    {
    virtual void b() = 0;
    };
?]]>
Quote:The copy assignment operator shall be declared protected or private in an abstract class.
Does this prohibition also include the implicitly generated copy assignment operator? When implicitly generated, ISO C++, 12.8, p. 10, states:
Quote:An implicitly-declared copy assignment operator is an inline public member of its class.
So, does the following code comply with rule 12-8-2:
Code:
class A
    {
    virtual void b() = 0;
    };
?]]>