Как Вы понимаете зависимые имена в C++
Используйте профилировщика SQL-сервера.
РЕДАКТИРОВАНИЕ (1 год спустя): Как @Toran состояния Billups ниже, записал профилировщик NHibernate Ayende, очень очень прохладно.
2 ответа
Зависимое имя - это, по сути, имя, которое зависит от аргумента шаблона.
При использовании шаблонов существует различие между точкой определения шаблона и точкой создания экземпляра, т. е. где вы фактически используете шаблон. Имена, зависящие от шаблона, не связываются до момента создания экземпляра, тогда как имена, которые не связываются в точке определения.
Простым примером может быть:
template< class T > int addInt( T x )
{
return i + x.toInt();
}
где объявление или определение i должно появиться перед определением, данным выше, поскольку i не зависит от аргумента шаблона T и поэтому ограничен в пункте определения. Определение члена toInt переменной пока неизвестного типа x должно появиться только перед тем, как функция addInt фактически где-то используется как есть зависимое имя (технически точка создания берется как ближайшая включающая глобальная область или область пространства имен непосредственно перед точкой использования, и поэтому она должна быть доступна до этого).
Зависимые имена характеризуются зависимостью от аргумента шаблона. Тривиальный пример:
#include <vector>
void NonDependent()
{
//You can access the member size_type directly.
//This is precisely specified as a vector of ints.
typedef std::vector<int> IntVector;
IntVector::size_type i;
/* ... */
}
template <class T>
void Dependent()
{
//Now the vector depends on the type T.
//Need to use typename to access a dependent name.
typedef std::vector<T> SomeVector;
typename SomeVector::size_type i;
/* ... */
}
int main()
{
NonDependent();
Dependent<int>();
return 0;
}
РЕДАКТИРОВАТЬ : Как я уже упоминал в комментарии ниже, это пример специфической ситуации с использованием зависимых имен, которая появляется довольно часто. Иногда правила, регулирующие использование зависимых имен, не являются тем, что можно было бы инстинктивно ожидать.
Например, если у вас есть зависимый класс, производный от зависимой базы, но в пределах области видимости, в которой имя из базового класса явно не соответствует не зависит от шаблона, вы можете получить ошибку компилятора, как показано ниже.
#include <iostream>
template <class T>
class Dependent
{
protected:
T data;
};
template <class T>
class OtherDependent : public Dependent<T>
{
public:
void printT()const
{
std::cout << "T: " << data << std::endl; //ERROR
}
};
int main()
{
OtherDependent<int> o;
o.printT();
return 0;
}
Эта ошибка возникает из-за того, что компилятор не выполняет поиск имени данных внутри шаблона базового класса, поскольку он не зависит от T и, следовательно, это не зависимое имя. Способы исправления: использование this или явное указание шаблона зависимого базового класса:
std::cout << "T: " << this->data << std::endl; //Ok now.
std::cout << "T: " << Dependent<T>::data << std::endl; //Ok now.
или размещение с использованием объявления :
template <class T>
class OtherDependent : public Dependent<T>
{
using Dependent<T>::data; //Ok now.
....
};