不能将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)>;
}

我使用命令test_partial_apply.cc编译了clang++-5.0 -std=c++17 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

现场演示