Можно ли использовать параметр шаблона без типа?

@cyberguz · Регистрация: 01.12.2010

C++

#define TV(OBJ) typeof(OBJ), OBJ
 
template<class T, T obj> class A {/*...*/};
 
int f (int);
 
A<TV(f)> a;

Можно ли сделать такое-же, но без препроцессора?

Можно ли сделать чтобы работало как-то так:

C++

template <class T, T obj> class Base {/*...*/};
template <OBJ> class A : public Base <typeof(OBJ), OBJ> {};
int f (int);
A<f> a;

@Pure · 14.03.2012, 16:25

скорее нет. что то можно вывенуться через функции попробовать

@Deviaphan · 15.03.2012, 12:38

Сообщение от cyberguz

template <class T, T obj>

Т.е. тебя не смущает, что в данном шаблоне T может быть только целым числом? Тогда пиши сразу "int obj" и не печалься.

@cyberguz · 15.03.2012, 17:08 **[ТС]**

T может быть только целым числом

?? чё эта?

@Deviaphan · 15.03.2012, 17:20

Сообщение от cyberguz

чё эта?

Как бы это прописано в стандарте...

Сообщение от Deviaphan

в данном шаблоне

Сообщение от Deviaphan

template <class T, T obj>

@cyberguz · 15.03.2012, 22:09 **[ТС]**

Нашёл

Шаблоны функций можно использовать без указания типа за счёт перегрузки.
Конечно не то, что хотелось, но тоже ничего, например:

C++

class A
{
public:
    template <typename T> A (T& t) {}
};
int f (int);
A a = A(f);

@Deviaphan · 16.03.2012, 06:34

Может ты лучше напишешь, чего хочешь получить? Вопрос в посте №1 никак не связан с №6.
Сейчас ты получил конструктор преобразования, принимающий хоть что в качестве аргумента. В данном случае это указатель на функцию, но точно так же можно передать всё что угодно. Т.е. использовать его нельзя.(
Напиши, что именно ты хочешь.

@Borkot · 06.05.2012, 13:31

Сообщение от cyberguz

C++

class A
{
public:
    template <typename T> A (T& t) {}
};
int f (int);
A a = A(f);

А шаблоны обязательно так объявлять,или можно

C++

1
2
3

template <typename T>
void fun(T &a,T &b)
{}

Добавлено через 44 минуты
Задача такая Написать шаблон функции для поиска среднего арифметического значений массива
Разбираюсь с шаблонами функций,но что-то делаю не так не могу понять что?

C++

#include<iostream>
using namespace std;
int S4isl();
int const a=5;
double ar1[a]={2.2,0.5,7.5,6.8,9.6};
int ar[a];
template <typename T>
SRAref(T ar[])
{   int S=0,S1=0,i;
    for(i=0;i<a;i++)
    {
        
        S+=ar[i];
    }
    S1=S/i;
    cout<<S1<<endl;
    return S1;
}
void main()
{
    double SRAref(ar1[a]);
    S4isl();
    int SRAref(ar[a]);
    
}
int S4isl()
{
    for(int i=0;i<a;i++)
    {
        ar[i]=i;
    }
    return ar[a];
}

Скажите что здесь не правильно.Спасибо заранее.

Добавлено через 5 минут
Всё разобрался. ссылка для тех кому может пригодится: http://ru.wikipedia.org/wiki/Шаблоны_C%2B%2B Вопрос снят, но если примерчик выложите буду благодарен.

@alex_x_x · 06.05.2012, 14:01

C++

#include <iostream>
 
template <typename T, size_t N>
T get_avg (T (&arr)[N]) {
  T res = T();
  for (size_t i = 0 ; i < N ; ++i) {
    res += arr[i];
  }
  return res / N;
}
 
int main() {
  int arr [] = { 1, 2, 3, 4, 5 };
  std::cout << get_avg(arr) << std::endl;
}

@Borkot · 06.05.2012, 17:11

C++

template <typename T, size_t N>
T get_avg (T (&arr)[N]) {//T get_avg -я так понимаю это функция arr адреса  с кол вом элементов N
  T res = T();//Тут результат присваивается функции T()?Можнопоподробнее?
  for (size_t i = 0 ; i < N ; ++i) {
    res += arr[i];
  }
  return res / N;
}
 
int main() {
  int arr [] = { 1, 2, 3, 4, 5 };
  std::cout << get_avg(arr) << std::endl;
}

@alex_x_x · 07.05.2012, 09:54

Сообщение от Borkot

T (&arr)[N]

ссылка на массив
Если передавать просто T arr[N] - не происходит дедукция типов

Сообщение от Borkot

T res = T()

это просто инициализация значения
для int, double etc формально тоже есть конструкторы

@Deviaphan · 07.05.2012, 20:04

Сообщение от Borkot

T res = T();//Тут результат присваивается функции T()?Можнопоподробнее?

Инициализация res конструктором по умолчанию. Аналогично записи T res();

Сообщение от Borkot

arr адреса с кол вом элементов N

Это статический массив размерностью N. Функция работает только со статическими массивами, т.к. тип (размерность массива) должны быть известны на этапе компиляции.

@Borkot · 08.05.2012, 11:50

Спасибо! Я такого не знал,что можно T rez=T();
А вот еще код.Гляньте одним глазком.Что не так.Задача такая была написать перегруженные шаблоны,и решить уравнения

Код

#include<iostream>
#include<math.h>
using namespace std;
template <typename T>T Fun(T a,T b,T c);
template <typename T>T Fun(T a,T b);
template <typename T>T Fun(T a,T b)
{	T b=T();T a=T();T x=T();
	x=((-b)/a);
	cout<<"x="<<x<<endl;
}
template <typename T>T Fun(T a,T b,T c)
{
  T a=T();T b=T();T c=T();T x=T();T x1=T();
  if(a==0)
  {cout<<"Error square root x, x1 not found";}
  else
  {
  x=(-b+(sqrt((b*b)-(4*a*c))))/(2*a);
  x1=(-b-(sqrt((b*b)-(4*a*c))))/(2*a);
  cout<<x<<'\n'<<x1;
  }
}
void main(void)
{	int a,b,c;
cin>>a>>b;
	Fun(a,b);
	cin>>a>>b>>c;
	Fun(a,b,c);
}

Ругается на переопределение в шаблоне a,b,c, и sqrt() сообщает двусмысленное название перегруженой функции

@alex_x_x · 08.05.2012, 12:00

тут вопрос не в шаблонах, компилятор же явно пишет

declaration of 'T a' shadows a parameter

C++

#include<iostream>
#include<cmath>
 
using namespace std;
 
template <typename T> T Fun(T a,T b,T c);
template <typename T> T Fun(T a,T b);
 
template <typename T>T Fun(T a,T b)
{   
    T x=T();
    x=((-b)/a);
    cout<<"x="<<x<<endl;
}
 
template <typename T>T Fun(T a,T b,T c)
{
  T x=T();T x1=T();
  if(a==0)
  {cout<<"Error square root x, x1 not found";}
  else
  {
  x=(-b+(sqrt((b*b)-(4*a*c))))/(2*a);
  x1=(-b-(sqrt((b*b)-(4*a*c))))/(2*a);
  cout<<x<<'\n'<<x1;
  }
}
 
int main()
{   int a,b,c;
    cin>>a>>b;
    Fun(a,b);
    cin>>a>>b>>c;
    Fun(a,b,c);
}

@Borkot · 08.05.2012, 12:32

Спасибо Огромное.Звеняйте нас чайнкиов зеленых...Но без ваших консультаций никак...

@Pure 228 / 50 / 7 Регистрация: 13.03.2012 Сообщений: 453 Записей в блоге: 7
	14.03.2012, 16:25	2
	скорее нет. что то можно вывенуться через функции попробовать 0

@Deviaphan Делаю внезапно и красиво 1312 / 1227 / 72 Регистрация: 22.03.2011 Сообщений: 3,744
	15.03.2012, 12:38	3
	Сообщение от cyberguz template <class T, T obj> Т.е. тебя не смущает, что в данном шаблоне T может быть только целым числом? Тогда пиши сразу "int obj" и не печалься. 0

@cyberguz 6 / 6 / 1 Регистрация: 01.12.2010 Сообщений: 105
	15.03.2012, 17:08 [ТС]	4
	T может быть только целым числом ?? чё эта? 0

@Deviaphan Делаю внезапно и красиво 1312 / 1227 / 72 Регистрация: 22.03.2011 Сообщений: 3,744
	15.03.2012, 17:20	5
	Сообщение от cyberguz чё эта? Как бы это прописано в стандарте... Сообщение от Deviaphan в данном шаблоне Сообщение от Deviaphan template <class T, T obj> 1

@Deviaphan Делаю внезапно и красиво 1312 / 1227 / 72 Регистрация: 22.03.2011 Сообщений: 3,744
	16.03.2012, 06:34	7
	Может ты лучше напишешь, чего хочешь получить? Вопрос в посте №1 никак не связан с №6. Сейчас ты получил конструктор преобразования, принимающий хоть что в качестве аргумента. В данном случае это указатель на функцию, но точно так же можно передать всё что угодно. Т.е. использовать его нельзя.( Напиши, что именно ты хочешь. 1

@alex_x_x бжни 2473 / 1684 / 135 Регистрация: 14.05.2009 Сообщений: 7,162
	07.05.2012, 09:54	11
	Сообщение от Borkot T (&arr)[N] ссылка на массив Если передавать просто T arr[N] - не происходит дедукция типов Сообщение от Borkot T res = T() это просто инициализация значения для int, double etc формально тоже есть конструкторы 1

@Deviaphan Делаю внезапно и красиво 1312 / 1227 / 72 Регистрация: 22.03.2011 Сообщений: 3,744
	07.05.2012, 20:04	12
	Сообщение от Borkot T res = T();//Тут результат присваивается функции T()?Можнопоподробнее? Инициализация res конструктором по умолчанию. Аналогично записи T res(); Сообщение от Borkot arr адреса с кол вом элементов N Это статический массив размерностью N. Функция работает только со статическими массивами, т.к. тип (размерность массива) должны быть известны на этапе компиляции. 1

@Borkot 4 / 4 / 2 Регистрация: 05.05.2012 Сообщений: 201 Записей в блоге: 1
	08.05.2012, 11:50	13
	Спасибо! Я такого не знал,что можно T rez=T(); А вот еще код.Гляньте одним глазком.Что не так.Задача такая была написать перегруженные шаблоны,и решить уравнения Код #include<iostream> #include<math.h> using namespace std; template <typename T>T Fun(T a,T b,T c); template <typename T>T Fun(T a,T b); template <typename T>T Fun(T a,T b) { T b=T();T a=T();T x=T(); x=((-b)/a); cout<<"x="<<x<<endl; } template <typename T>T Fun(T a,T b,T c) { T a=T();T b=T();T c=T();T x=T();T x1=T(); if(a==0) {cout<<"Error square root x, x1 not found";} else { x=(-b+(sqrt((bb)-(4ac))))/(2a); x1=(-b-(sqrt((bb)-(4ac))))/(2a); cout<<x<<'\n'<<x1; } } void main(void) { int a,b,c; cin>>a>>b; Fun(a,b); cin>>a>>b>>c; Fun(a,b,c); } Ругается на переопределение в шаблоне a,b,c, и sqrt() сообщает двусмысленное название перегруженой функции 0

@Borkot 4 / 4 / 2 Регистрация: 05.05.2012 Сообщений: 201 Записей в блоге: 1
	08.05.2012, 12:32	15
	Спасибо Огромное.Звеняйте нас чайнкиов зеленых...Но без ваших консультаций никак... 0