无法将 int 应用于 partial_apply 的结果

Question

// partial_apply.hpp
template <template <class...> class Op, class ...Ts>
struct partial_apply {
    template <class ...Args> using type = Op<Ts..., Args...>;
};
# define PARTIAL_APPLY_T(OP, ...) typename partial_apply<OP, ##__VA_ARGS__>::template type

// test_partial_apply.cc
#include "partial_apply.hpp"

template <class ...Ts> struct A {};
template <template <class...> class Op> using apply_int = Op<int>;

int main() {
    using type = apply_int<PARTIAL_APPLY_T(A)>;
}

我使用命令 clang++-5.0 -std=c++17 test_partial_apply.cc 编译了 test_partial_apply.cc，它发出了以下错误：

test_partial_apply.cc:8:28: error: expected an identifier or template-id after '::'
    using type = apply_int<PARTIAL_APPLY_T(A)>;
                           ^~~~~~~~~~~~~~~~~~
./../include/partial_apply.hpp:9:78: note: expanded from macro 'PARTIAL_APPLY_T'
# define PARTIAL_APPLY_T(OP, ...) typename partial_apply<OP, ##__VA_ARGS__>::template type
                                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
test_partial_apply.cc:8:28: error: expected a type
./../include/partial_apply.hpp:9:78: note: expanded from macro 'PARTIAL_APPLY_T'
# define PARTIAL_APPLY_T(OP, ...) typename partial_apply<OP, ##__VA_ARGS__>::template type
                                                                             ^
2 errors generated.

Answer 1

仅当它确实是一种类型时才使用 typename 消歧符。没有指定模板参数 template <class ...Args> using type = Op<Ts..., Args...>; 是不是类型。

删除 typename，应该可以：

# define PARTIAL_APPLY_T(OP, ...) partial_apply<OP, ##__VA_ARGS__>::template type

Live Demo

无法将 int 应用于 partial_apply 的结果

Can't apply int to result of partial_apply

c++

templates

metaprogramming

template-meta-programming