“函数声明”一词在§7/ 9（N4140）中定义，但没有定义为语法生成。为什么？

Question

在§7/ 9，你会发现一个函数声明的定义：

如果DECL说明符-SEQ不包含的typedef说明符，这个 声明被称为函数声明如果与名称关联的类型 是功能类型（8.3.5）和对象声明 否则。

在§7/ 1，你可以找到语法生产的定义声明，但没有在那里提名函数声明，因为这样定义的一部分。换句话说，如何在C++语法中对function declaration进行分类？

Answer 1

距今约初始化声明符这一段谈话，我把它应用到简单声明其中有一个初始化声明符列表。你可以看到这不完全正确

// clearly, this is not the declaration of an object, so it should 
// not be called an "object declaration", but 7p9 does say so 
int &a = x; 

struct A { 
    // AFAICS 7p9 should also apply here, but there is no init-declarator 
    // here, but a member-declarator. 9.2 also doesn't delegate to 7p9. 
    typedef int a; 
}; 

结果是，下面还包含一个函数声明，但该声明不声明函数。

template<typename T> void f(); 

总之，我认为在规范中对此文本有一些解释。