forked from qt-creator/qt-creator
9ee693ee22
These changes target Find Usages feature to work with shared_ptr. Improve libs/3rdparty/cplusplus and plugins/cplusplus: parse __declspec() attribute, call to variadic function template without specified template arguments, if constexpr, c++11 attributes [[value]], function templates with default parameters, resolve order for function vs template with default parameter, template operator->() with default arguments, template specialization with numeric values, find best partial specialization, fix partial specialization for non-first specialized argument Fixes: QTCREATORBUG-7866 Fixes: QTCREATORBUG-20781 Fixes: QTCREATORBUG-22857 Fixes: QTCREATORBUG-17825 Change-Id: I31a080f7729edfb2ee9650f1aff48daeba5a673b Reviewed-by: Christian Kandeler <christian.kandeler@qt.io> Reviewed-by: Nikolai Kosjar <pinaceae.pinus@gmail.com>
426 lines
13 KiB
C++
426 lines
13 KiB
C++
/****************************************************************************
|
|
**
|
|
** Copyright (C) 2016 The Qt Company Ltd.
|
|
** Contact: https://www.qt.io/licensing/
|
|
**
|
|
** This file is part of Qt Creator.
|
|
**
|
|
** Commercial License Usage
|
|
** Licensees holding valid commercial Qt licenses may use this file in
|
|
** accordance with the commercial license agreement provided with the
|
|
** Software or, alternatively, in accordance with the terms contained in
|
|
** a written agreement between you and The Qt Company. For licensing terms
|
|
** and conditions see https://www.qt.io/terms-conditions. For further
|
|
** information use the contact form at https://www.qt.io/contact-us.
|
|
**
|
|
** GNU General Public License Usage
|
|
** Alternatively, this file may be used under the terms of the GNU
|
|
** General Public License version 3 as published by the Free Software
|
|
** Foundation with exceptions as appearing in the file LICENSE.GPL3-EXCEPT
|
|
** included in the packaging of this file. Please review the following
|
|
** information to ensure the GNU General Public License requirements will
|
|
** be met: https://www.gnu.org/licenses/gpl-3.0.html.
|
|
**
|
|
****************************************************************************/
|
|
|
|
#include "DeprecatedGenTemplateInstance.h"
|
|
#include "Overview.h"
|
|
|
|
#include <cplusplus/Control.h>
|
|
#include <cplusplus/Scope.h>
|
|
#include <cplusplus/Names.h>
|
|
#include <cplusplus/Symbols.h>
|
|
#include <cplusplus/CoreTypes.h>
|
|
#include <cplusplus/Literals.h>
|
|
|
|
#include <QVarLengthArray>
|
|
#include <QDebug>
|
|
|
|
using namespace CPlusPlus;
|
|
|
|
namespace {
|
|
|
|
class ApplySubstitution
|
|
{
|
|
public:
|
|
ApplySubstitution(Control *control, Symbol *symbol, const DeprecatedGenTemplateInstance::Substitution &substitution);
|
|
~ApplySubstitution();
|
|
|
|
inline Control *control() const { return _control; }
|
|
|
|
FullySpecifiedType apply(const Name *name);
|
|
FullySpecifiedType apply(const FullySpecifiedType &type);
|
|
|
|
int findSubstitution(const Identifier *id) const;
|
|
FullySpecifiedType applySubstitution(int index) const;
|
|
|
|
private:
|
|
class ApplyToType: protected TypeVisitor
|
|
{
|
|
public:
|
|
ApplyToType(ApplySubstitution *q)
|
|
: q(q) {}
|
|
|
|
FullySpecifiedType operator()(const FullySpecifiedType &ty)
|
|
{
|
|
FullySpecifiedType previousType = switchType(ty);
|
|
accept(ty.type());
|
|
return switchType(previousType);
|
|
}
|
|
|
|
protected:
|
|
using TypeVisitor::visit;
|
|
|
|
Control *control() const
|
|
{ return q->control(); }
|
|
|
|
FullySpecifiedType switchType(const FullySpecifiedType &type)
|
|
{
|
|
FullySpecifiedType previousType = _type;
|
|
_type = type;
|
|
return previousType;
|
|
}
|
|
|
|
void visit(VoidType *) override
|
|
{
|
|
// nothing to do
|
|
}
|
|
|
|
void visit(IntegerType *) override
|
|
{
|
|
// nothing to do
|
|
}
|
|
|
|
void visit(FloatType *) override
|
|
{
|
|
// nothing to do
|
|
}
|
|
|
|
void visit(PointerToMemberType *) override
|
|
{
|
|
qDebug() << Q_FUNC_INFO; // ### TODO
|
|
}
|
|
|
|
void visit(PointerType *ptrTy) override
|
|
{
|
|
_type.setType(control()->pointerType(q->apply(ptrTy->elementType())));
|
|
}
|
|
|
|
void visit(ReferenceType *refTy) override
|
|
{
|
|
_type.setType(control()->referenceType(q->apply(refTy->elementType()), refTy->isRvalueReference()));
|
|
}
|
|
|
|
void visit(ArrayType *arrayTy) override
|
|
{
|
|
_type.setType(control()->arrayType(q->apply(arrayTy->elementType()), arrayTy->size()));
|
|
}
|
|
|
|
void visit(NamedType *ty) override
|
|
{
|
|
FullySpecifiedType n = q->apply(ty->name());
|
|
_type.setType(n.type());
|
|
}
|
|
|
|
void visit(Function *funTy) override
|
|
{
|
|
Function *fun = control()->newFunction(/*sourceLocation=*/ 0, funTy->name());
|
|
fun->setEnclosingScope(funTy->enclosingScope());
|
|
fun->setConst(funTy->isConst());
|
|
fun->setVolatile(funTy->isVolatile());
|
|
fun->setVirtual(funTy->isVirtual());
|
|
fun->setOverride(funTy->isOverride());
|
|
fun->setFinal(funTy->isFinal());
|
|
fun->setAmbiguous(funTy->isAmbiguous());
|
|
fun->setVariadic(funTy->isVariadic());
|
|
|
|
fun->setReturnType(q->apply(funTy->returnType()));
|
|
|
|
for (int i = 0, argc = funTy->argumentCount(); i < argc; ++i) {
|
|
Argument *originalArgument = funTy->argumentAt(i)->asArgument();
|
|
Argument *arg = control()->newArgument(/*sourceLocation*/ 0,
|
|
originalArgument->name());
|
|
|
|
arg->setType(q->apply(originalArgument->type()));
|
|
arg->setInitializer(originalArgument->initializer());
|
|
fun->addMember(arg);
|
|
}
|
|
|
|
_type.setType(fun);
|
|
}
|
|
|
|
void visit(Namespace *) override
|
|
{
|
|
qDebug() << Q_FUNC_INFO;
|
|
}
|
|
|
|
void visit(Class *) override
|
|
{
|
|
qDebug() << Q_FUNC_INFO;
|
|
}
|
|
|
|
void visit(Enum *) override
|
|
{
|
|
qDebug() << Q_FUNC_INFO;
|
|
}
|
|
|
|
void visit(ForwardClassDeclaration *) override
|
|
{
|
|
qDebug() << Q_FUNC_INFO;
|
|
}
|
|
|
|
void visit(ObjCClass *) override
|
|
{
|
|
qDebug() << Q_FUNC_INFO;
|
|
}
|
|
|
|
void visit(ObjCProtocol *) override
|
|
{
|
|
qDebug() << Q_FUNC_INFO;
|
|
}
|
|
|
|
void visit(ObjCMethod *) override
|
|
{
|
|
qDebug() << Q_FUNC_INFO;
|
|
}
|
|
|
|
void visit(ObjCForwardClassDeclaration *) override
|
|
{
|
|
qDebug() << Q_FUNC_INFO;
|
|
}
|
|
|
|
void visit(ObjCForwardProtocolDeclaration *) override
|
|
{
|
|
qDebug() << Q_FUNC_INFO;
|
|
}
|
|
|
|
private:
|
|
ApplySubstitution *q;
|
|
FullySpecifiedType _type;
|
|
QHash<Symbol *, FullySpecifiedType> _processed;
|
|
};
|
|
|
|
class ApplyToName: protected NameVisitor
|
|
{
|
|
public:
|
|
ApplyToName(ApplySubstitution *q): q(q) {}
|
|
|
|
FullySpecifiedType operator()(const Name *name)
|
|
{
|
|
FullySpecifiedType previousType = switchType(FullySpecifiedType());
|
|
accept(name);
|
|
return switchType(previousType);
|
|
}
|
|
|
|
protected:
|
|
Control *control() const
|
|
{ return q->control(); }
|
|
|
|
int findSubstitution(const Identifier *id) const
|
|
{ return q->findSubstitution(id); }
|
|
|
|
FullySpecifiedType applySubstitution(int index) const
|
|
{ return q->applySubstitution(index); }
|
|
|
|
FullySpecifiedType switchType(const FullySpecifiedType &type)
|
|
{
|
|
FullySpecifiedType previousType = _type;
|
|
_type = type;
|
|
return previousType;
|
|
}
|
|
|
|
void visit(const Identifier *name) override
|
|
{
|
|
int index = findSubstitution(name->identifier());
|
|
|
|
if (index != -1)
|
|
_type = applySubstitution(index);
|
|
|
|
else
|
|
_type = control()->namedType(name);
|
|
}
|
|
|
|
void visit(const TemplateNameId *name) override
|
|
{
|
|
QVarLengthArray<TemplateArgument, 8> arguments(name->templateArgumentCount());
|
|
for (int i = 0; i < name->templateArgumentCount(); ++i) {
|
|
FullySpecifiedType argTy = name->templateArgumentAt(i).type();
|
|
arguments[i] = q->apply(argTy);
|
|
}
|
|
|
|
const TemplateNameId *templId = control()->templateNameId(name->identifier(),
|
|
name->isSpecialization(),
|
|
arguments.data(),
|
|
arguments.size());
|
|
_type = control()->namedType(templId);
|
|
}
|
|
|
|
const Name *instantiate(const Name *name)
|
|
{
|
|
if (! name)
|
|
return name;
|
|
|
|
if (const Identifier *nameId = name->asNameId()) {
|
|
const Identifier *id = control()->identifier(nameId->chars(), nameId->size());
|
|
return id;
|
|
|
|
} else if (const TemplateNameId *templId = name->asTemplateNameId()) {
|
|
QVarLengthArray<TemplateArgument, 8> arguments(templId->templateArgumentCount());
|
|
for (int templateArgIndex = 0; templateArgIndex < templId->templateArgumentCount();
|
|
++templateArgIndex) {
|
|
FullySpecifiedType argTy = templId->templateArgumentAt(templateArgIndex).type();
|
|
arguments[templateArgIndex] = q->apply(argTy);
|
|
}
|
|
const Identifier *id = control()->identifier(templId->identifier()->chars(),
|
|
templId->identifier()->size());
|
|
return control()->templateNameId(id, templId->isSpecialization(), arguments.data(),
|
|
arguments.size());
|
|
|
|
} else if (const QualifiedNameId *qq = name->asQualifiedNameId()) {
|
|
const Name *base = instantiate(qq->base());
|
|
const Name *name = instantiate(qq->name());
|
|
|
|
return control()->qualifiedNameId(base, name);
|
|
|
|
} else if (const OperatorNameId *op = name->asOperatorNameId()) {
|
|
return control()->operatorNameId(op->kind());
|
|
|
|
} else if (const ConversionNameId *c = name->asConversionNameId()) {
|
|
FullySpecifiedType ty = q->apply(c->type());
|
|
return control()->conversionNameId(ty);
|
|
|
|
}
|
|
|
|
return nullptr;
|
|
}
|
|
|
|
void visit(const QualifiedNameId *name) override
|
|
{
|
|
if (const Name *n = instantiate(name))
|
|
_type = control()->namedType(n);
|
|
}
|
|
|
|
void visit(const DestructorNameId *name) override
|
|
{
|
|
Overview oo;
|
|
qWarning() << "ignored name:" << oo.prettyName(name);
|
|
}
|
|
|
|
void visit(const OperatorNameId *name) override
|
|
{
|
|
Overview oo;
|
|
qWarning() << "ignored name:" << oo.prettyName(name);
|
|
}
|
|
|
|
void visit(const ConversionNameId *name) override
|
|
{
|
|
Overview oo;
|
|
qWarning() << "ignored name:" << oo.prettyName(name);
|
|
}
|
|
|
|
void visit(const SelectorNameId *name) override
|
|
{
|
|
Overview oo;
|
|
qWarning() << "ignored name:" << oo.prettyName(name);
|
|
}
|
|
|
|
private:
|
|
ApplySubstitution *q;
|
|
FullySpecifiedType _type;
|
|
};
|
|
|
|
public: // attributes
|
|
Control *_control;
|
|
Symbol *symbol;
|
|
DeprecatedGenTemplateInstance::Substitution substitution;
|
|
ApplyToType applyToType;
|
|
ApplyToName applyToName;
|
|
};
|
|
|
|
ApplySubstitution::ApplySubstitution(Control *control, Symbol *symbol,
|
|
const DeprecatedGenTemplateInstance::Substitution &substitution)
|
|
: _control(control), symbol(symbol),
|
|
substitution(substitution),
|
|
applyToType(this), applyToName(this)
|
|
{ }
|
|
|
|
ApplySubstitution::~ApplySubstitution()
|
|
{
|
|
}
|
|
|
|
FullySpecifiedType ApplySubstitution::apply(const Name *name)
|
|
{
|
|
FullySpecifiedType ty = applyToName(name);
|
|
return ty;
|
|
}
|
|
|
|
FullySpecifiedType ApplySubstitution::apply(const FullySpecifiedType &type)
|
|
{
|
|
FullySpecifiedType ty = applyToType(type);
|
|
return ty;
|
|
}
|
|
|
|
int ApplySubstitution::findSubstitution(const Identifier *id) const
|
|
{
|
|
Q_ASSERT(id != nullptr);
|
|
|
|
for (int index = 0; index < substitution.size(); ++index) {
|
|
QPair<const Identifier *, FullySpecifiedType> s = substitution.at(index);
|
|
|
|
if (id->match(s.first))
|
|
return index;
|
|
}
|
|
|
|
return -1;
|
|
}
|
|
|
|
FullySpecifiedType ApplySubstitution::applySubstitution(int index) const
|
|
{
|
|
Q_ASSERT(index != -1);
|
|
Q_ASSERT(index < substitution.size());
|
|
|
|
return substitution.at(index).second;
|
|
}
|
|
|
|
} // end of anonymous namespace
|
|
|
|
DeprecatedGenTemplateInstance::DeprecatedGenTemplateInstance(QSharedPointer<Control> control, const Substitution &substitution)
|
|
: _control(control),
|
|
_substitution(substitution)
|
|
{ }
|
|
|
|
FullySpecifiedType DeprecatedGenTemplateInstance::gen(Symbol *symbol)
|
|
{
|
|
ApplySubstitution o(_control.data(), symbol, _substitution);
|
|
return o.apply(symbol->type());
|
|
}
|
|
|
|
FullySpecifiedType DeprecatedGenTemplateInstance::instantiate(const Name *className, Symbol *candidate,
|
|
QSharedPointer<Control> control)
|
|
{
|
|
if (className) {
|
|
if (const TemplateNameId *templId = className->asTemplateNameId()) {
|
|
if (Template *templ = candidate->enclosingTemplate()) {
|
|
DeprecatedGenTemplateInstance::Substitution subst;
|
|
|
|
for (int i = 0; i < templId->templateArgumentCount(); ++i) {
|
|
FullySpecifiedType templArgTy = templId->templateArgumentAt(i).type();
|
|
|
|
if (i < templ->templateParameterCount()) {
|
|
const Name *templArgName = templ->templateParameterAt(i)->name();
|
|
|
|
if (templArgName && templArgName->identifier()) {
|
|
const Identifier *templArgId = templArgName->identifier();
|
|
subst.append(qMakePair(templArgId, templArgTy));
|
|
}
|
|
}
|
|
}
|
|
|
|
DeprecatedGenTemplateInstance inst(control, subst);
|
|
return inst.gen(candidate);
|
|
}
|
|
}
|
|
}
|
|
return candidate->type();
|
|
}
|