Sim, é legal (para objetos criados com new
)
Para os fins desta resposta, estou utilizando o mesmo rascunho utilizado nessa resposta. É um rascunho um pouco antigo, mas a pergunta é sobre c++11, afinal.
A expressão delete this
é legal?
Para avaliarmos a legalidade da expressão delete this
, primeiro devemos saber o que exatamente é a expressão this
.
[class.this] / 1
In the body of a non-static (9.3) member function, the keyword this
is a prvalue expression whose value is the address of the object for which the function is called. The type of this
in a member function of a class X
is X*
. If the member function is declared const
, the type of this
is const X*
, if the member function is declared volatile
, the type of this
is volatile X*
, and if the member function is declared const volatile
, the type of this
is const volatile X*
.
(Ênfase minha)
Ou seja, para uma classe T
, e assumindo uma função-membro sem especificadores const
ou volatile
, this
é uma expressão com tipo T*
e valor igual ao endereço do objeto no qual foi chamada a função.
Então, devemos saber quais expressões são válidas como operandos do operador delete
.
[expr.delete] / 2
If the operand has a class type, the operand is converted to a pointer type by calling the above-mentioned conversion function, and the converted operand is used in place of the original operand for the remainder of this section. In the first alternative (delete object), the value of the operand of delete may be a null pointer value, a pointer to a non-array object created by a previous new-expression
, or a pointer to a subobject (1.8) representing a base class of such an object (Clause 10). If not, the behavior is undefined. In the second alternative (delete array), the value of the operand of delete
may be a null pointer value or a pointer value that resulted from a previous array new-expression
. If not, the behavior is undefined.
(Ênfase minha)
Sabemos que para um tipo X
, this
tem tipo X*
. Ou seja, this
é um ponteiro para um objeto, e esse objeto não é uma array. Esse ponteiro é válido como operando da expressão delete
se, e somente se, o objeto em questão foi criado com new
. Caso contrário, o comportamento é indefinido.
Assumindo então que nosso objeto foi criado com new
, E utilizando os trechos acima, já estabelecemos que, por si só, a expressão delete this
é legal.
Se delete this
é legal, o que acontece com a função em execução?
Para estabelecermos o que acontece então, devemos saber exatamente o que a expressão delete obj
faz.
[expr.delete] / 7
If the value of the operand of the delete-expression
is not a null pointer value, the delete-expression
will call a deallocation function
(3.7.4.2). Otherwise, it is unspecified whether the deallocation function will be called.
e
[basic.stc.dynamic.deallocation] / 4
If the argument given to a deallocation function in the standard library is a pointer that is not the null pointer value (4.10), the deallocation function shall deallocate the storage referenced by the pointer, rendering invalid
all pointers referring to any part of the deallocated storage. Indirection through an invalid pointer value and passing an invalid pointer value to a deallocation function have undefined behavior. Any other use of an invalid pointer value has implementation-defined behavior.
(Ênfase minha)
Note que tudo o que acontece (excetuando-se qualquer lógica dentro do destrutor) é uma desalocação de memória. Sim, o ponteiro this
é invalidado. Resta saber se, ao retornar, a função dereferencia this
de alguma forma.
6.6.3 The return statement
[stmt.return]
1 A function returns to its caller by the return statement.
2 A return statement with neither an expression nor a braced-init-list can be used only in functions that do not return a value, that is, a function with the return type void
, a constructor (12.1), or a destructor (12.4). A return statement with an expression of non-void type can be used only in functions returning a value; the value of the expression is returned to the caller of the function. The value of the expression is implicitly converted to the return type of the function in which it appears. A return statement can involve the construction and copy or move of a temporary object (12.2). [Note:
A copy or move operation associated with a return statement may be elided or considered as an rvalue for the purpose of overload resolution in selecting a constructor (12.8). — end note] A return statement with a braced-init-list initializes the object or reference to be returned from the function by copy-list-initialization (8.5.4) from the specified initializer list. [ Example:
std::pair<std::string,int> f(const char* p, int x) {
return {p,x};
}
— end example]
Flowing off the end of a function is equivalent to a return
with no value; this results in undefined behavior in a value-returning function.
3 A return statement with an expression of type void
can be used only in functions with a return type of cv void
; the expression is evaluated just before the function returns to its caller.
O padrão não fala nada sobre dereferenciamento de ponteiros no retorno de funções. Por que falaria? Lendo a sua questão, posso ver que você mesmo sabe que implementações não precisam dereferenciar o ponteiro this
ao retornar de uma função membro. Tudo o que é necessário é um endereço de retorno. Infelizmente a única forma de "provar" esta afirmação é citando toda a seção sobre retorno de funções. Felizmente, não é uma seção muito grande :D.
Se retornar após executar delete this
(E invalidar o ponteiro this
) não causa comportamento indefinido, chamar uma função que não faz nada (só retorna) em um ponteiro inválido é legal?
É, esse título poderia ter ficado um pouco menor...
Essa seção lida especialmente com este trecho da questão:
void MyObj::noop() {
// Não vou tocar no 'this' aqui!
}
MyObj* obj = (MyObj*)0xDEADBEEF;
obj->noop();
Esse código causa comportamento indefinido, pois estamos dereferenciando um ponteiro provavelmente inválido. Consegue adivinhar onde?
obj->noop()
A expressão acima tem efeito equivalente à expressão:
(*obj).noop()
Que claramente dereferencia o ponteiro obj
, causando comportamento indefinido.
MyObj
é ou não polimórfico, não é possível dizer sethis
será acessado na chamada de um de seus métodos. Não é possível dizer senoop
é virtual pois não é possível ver a declaração deMyObj
e se esta herda ou não o método como virtual.