依赖表达式和ODR在C 14中的通用Lambda中的使用

void f(      int,const int (&)[2] = {}) { } // #1 
   void f(      int,const int (&)[1]     ) { } // #2 
// void f(const int&,const int (&)[1]     ) { } // #2_original 

void test() { 

    const int x = 17; 

    auto g = [](auto a) { 
        f(x); // OK: calls #1,does not capture x 
    }; 

    auto g2 = [ /* = */ ](auto a) { 
        int selector[ sizeof(a) == 1 ? 1 : 2 ]{}; 
        f(x,selector); // OK: is a dependent expression,so captures x ??? 
    }; 
}

这是C 14标准(ISO / IEC 14882：2014),第5.1.2节,第12段中的一个例子,我用2种方式对其进行了修改：

>首先,函数f()的两个版本都有一个int作为第一个参数,因此变量x在任何情况下都不会使用odr.
>其次,我删除了(注释掉了)lambda g2中的capture-default.

此代码是否符合标准？ clang和gcc都编译成功.但是,在原始示例中,lambda g2具有capture-default([=]),因此隐式捕获变量x,因为存在依赖表达式(并且还因为它可能在函数f()#2_original中使用odr).请注意,在标准的上述段落中,隐含地捕获变量x(odr-use OR dependent expression)有两个条件.现在,没有capture-default或odr-use：

>这不应该是编译时错误,因为有一个依赖表达式而没有capture-default吗？也就是说,需要捕获变量x,但它不能(假设g2调用两种参数,即产生sizeof(a)= 1而其他sizeof(a)> 1).
>或者,当存在capture-default时,依赖表达式隐式捕获变量的条件是否仅适用？这意味着,没有odr-use(即,没有const int& in function f()#2),无论capture-default如何,程序都将以相同的方式工作.因此,关于依赖表达式的第二个条件不会无用吗？

这是C 14标准(ISO / IEC 14882：2014),第12段(强调我的)：

A lambda-expression with an associated capture-default that does not explicitly capture this or a variable with automatic storage duration (this excludes any id-expression that has been found to refer to an init-capture’s associated non-static data member),is said to implicitly capture the entity (i.e.,this or a variable) if the compound-statement:

• odr-uses (3.2) the entity,or
• names the entity in a potentially-evaluated expression (3.2) where the enclosing full-expression depends on a generic lambda parameter declared within the reaching scope of the lambda-expression.

注意：lambda g不捕获变量x,因为它在f(x)中没有使用odr(参见C 14标准(ISO / IEC 14882：2014),第13段)

链接：

> N3649: Generic (Polymorphic) Lambda Expressions (Revision 3)
> Using of not captured variable in lambda