C++: а можно ли как-либо лябду указать в параметре шаблонного класса? Да еще и typedef'ом сделать?

Попробуй конст &

enable_if, is_same

#include <type_traits>
template <typename I, typename T, typename F>
struct TTest 
{
	static I index(const T& s) 
	{ 
		assert(std::is_convertible<F, std::function<I(const T&)>>);
		return F(s); 
	}
};

Точно нужно всё это делать в рантайме? Код выглядит как кандидат на constexpr и static_assert.

std::function не является литеральным типом и не может быть аргументом шаблона. Лямбда тоже.

Ты не понимаешь сути шаблонов. Опиши задачу.

Опиши задачу

У меня есть шаблонный класс рб-дерева. В отличие от стандартного Map, ключевое значение хранится в сохраняемом значении:

template <typename Key,typename Value,typename FnGetKey>
class MyMap { /* implementation */ };

struct SomeObject {
   int key_value;
   /* ... some content */

   // этот вызов используется как получение ключа в
   //  в дереве, поскольку в данном случае сам же SomeObject будет
   //  будет передан третьим параметром шаблона
   static int key(const SomeObject& s) { return s.key_value; }
};

typedef MyMap<int,SomeObject,SomeObject> MapOfSomeObject;

Некоторые структуры одна и та же индексируются в разных деревьях по разным ключевым значениям - разные сортировки, и разные оптимизации.

Вот и хочется шлепать эту индексацию не перегружая код избыточными структурами-функторами которые возвращают ключевые значения. Т.е. указывать лямбду непосредственно в определении типа переменной дерева. Сохранять лямбду как значение в этом дереве это то же избыточное использование.

В отличие от стандартного Map, ключевое значение хранится в сохраняемом значении

Ты описал std::set

Вот и хочется шлепать эту индексацию не перегружая код избыточными структурами-функторами которые возвращают ключевые значения ... Сохранять лямбду как значение в этом дереве это то же избыточное использование.

Можно использовать pointer to member на поле с ключём в параметре шаблона или просто указатель на статическую функцию, лямбда тут не нужна.

Даже STL с этим не заморачивается, передавай свой функтор просто как Functor f, да и всё.

Почему то никогда не понимаю сути вопросов на форуме ЛОРа, особенно в части Си++ :-)

читай потом за ними код...

Используй std::{unordered}_set, как уже сказали выше. У этих структур есть шаблонный параметр Compare или Hash + KeyEqal, который как раз то что тебе нужно. Если стандартный не устраивает - используй буст и остальные. Если и они не айс - пиши свой контейнер в том же стиле, что и STL/Boost.

Т.е. твое желание передать геттер в контейнер - плохо с точки зрения архитектуры, ведь алгоритмам внутри важно лишь отношение или хэш.

«Избыточный» код со структурами-функторами лучше написать. Т.е. можно конечно писать так:

std::set<Book, decltype([](Book const& a, Book const& b) { return a.title() < b.title(); })> s;

«Избыточный» код со структурами-функторами лучше написать. Т.е. можно конечно писать так:

Чё?

Чё?

Упс, сорри, чет я не подумал, что с пустым capture list будет не функтор и set его не сожрет.

с пустым capture list будет не функтор и set его не сожрет.

Будет функтор, но оператор-скобки у него будет статичным, и вот этот оператор уже можно использовать как обычную функцию. Но в данном случае даже попытка выписать данную конструкцию будет слишком монструозна, куда прямее и проще добавить обычную функцию.