Не удается вывести параметр шаблона

Question

Я следующую структуру класса, который пытается создать время компиляции, сгенерированные иерархического дерева

struct NodeBase{ 
    virtual constexpr uint32_t size() const = 0; 
    virtual constexpr bool empty() const = 0; 
    constexpr NodeBase(){}; 
}; 

template <size_t L> 
class Node : NodeBase{ 
private: 
    const uint32_t * const ptr; 
    const std::array<const NodeBase &, L> nodes; 

public: 
    constexp Node(std::initializer_list<NodeBase> const ts, uint32_t const * const ptr) : 
     NodeBase(), 
     ptr(ptr), 
     nodes{ts} 
     { 
     }; 
    constexpr uint32_t size() const { 
     return nodes.size(); 
    } 
    constexpr bool empty() const { 
     return (ptr==nullptr) ? true : false; 
    } 
} 

// helper function should allow for template deduction 
template<size_t T> 
constexpr Node<T> makeNode(std::initializer_list<NodeBase> const ts, uint32_t const * const ptr){ 
    return Node<T>(ts, ptr); 
}; 

template <size_t L> 
class Item : Node{ 
public: 
    constexpr Item() : 
     Node<L>({member}, nullptr) 
    { 
    }; 
private : 
    // here lies the problem 
    template <size_t M> 
    static constexpr Node<M> member = makeNode({},nullptr); 
} 

Однако это дает компилятор (GCC 4.9.1) ошибка: нет соответствия вызов функции makeNode (, null_ptr_t) и примечание, чтобы сказать, что не удалось вывести тип шаблона.

Я могу исправить ошибку, перемещая параметр M в шаблон уровня класса, но это имеет некоторые довольно ужасные последствия, поскольку список параметров будет расти на каждом уровне иерархии дерева. Я уверен, что компилятор должен иметь возможность выводить тип, который зависит от длины списка инициализации, предоставленного конструктору. Есть предположения?

Answer 1

Основываясь на ваш комментарий, я думаю, что это то, что вам может понадобиться. Я отказался от использования std::initializer_list. В C++ 14 он должен иметь член constexpr, чтобы возвращать количество элементов, но я не мог заставить это работать, и вы помечали свой вопрос C++ 11 в любом случае. Вместо этого я использую простой старый массив C, размер которого можно вывести с помощью механизма шаблона.

template <size_t M> 
struct Node {}; 

template <size_t M> 
constexpr Node<M> makeNode(int const (&list)[M]) 
{ 
    return Node<M>(); 
} 

class Item 
{ 
    static constexpr auto member = makeNode({1, 2, 3}); 
}; 

Обратите внимание, что использование auto в области видимости класса работает только для статических членов, но вы, кажется, отвечают этому требованию.

Answer 2

Как компилятор должен выводить тип шаблона, если в параметрах функции нет использования типа шаблона? Может быть, вы хотите

static constexpr Node<M> member = makeNode<M>({},nullptr);