Нет неоднозначной ошибки ссылки даже после использования директивы namespace

в разделе C++ standard 17.6.1 содержание и организация библиотеки мы читаем в 17.6.1.2:

за исключением случаев, указанных в пунктах 18-30 И приложении D, содержание каждый заголовок cname должен быть таким же, как у соответствующего имя заголовка.h, как указано в стандартной библиотеке C (1.2) или C Unicode TR, по мере необходимости, как бы путем включения. В C ++ стандартная библиотека, однако, Объявления (за исключением имена, определенные как макросы в C), находятся в области пространства имен (3.3.6) пространства имен std. не указано, являются ли эти имена первыми объявляются в области глобального пространства имен и затем вводятся в пространство имен std с помощью явных объявлений using-(7.3.3).

^курсив

кроме того, в 17.6.4.3.2 внешняя связь читаем

каждый имя из стандартной библиотеки C, объявленной с внешней связью зарезервирован для реализации для использования в качестве имени с extern " C" связь, как в пространстве имен std, так и в глобальном пространстве имен

на простом английском языке из этого раздела и подобных, имена стандартных библиотек C зарезервированы, но имена стандартных библиотек C находятся только в области глобального пространства имен.

что GLIBCXX делает здесь вполне допустимо; это объявлении abs в глобальном пространстве имен объем и впрыскивать его в std использование объявлений using -.

действительно, в стандартной библиотеке, которую используют мои system / g++ 4.8.5 и 6.3.0 (6.3.0 я проверил на coliru), <cstdlib> выглядит так:

// <stdlib.h>:

extern int abs (int __x) __THROW __attribute__ ((__const__)) __wur;

// <cstdlib>

#include <stdlib.h>

namespace std
{
    using ::abs;
}

это using ::abs что делает std::abs вызов функции.

вы нарушаете ODR, потому что GLIBC является общей библиотекой, а также предоставляет реализацию для int abs(int).

что вы не получите "множественное определение abs(int)" ошибка компоновщика, возможно, является ошибкой в компиляторах; было бы неплохо, если бы они предупредили об этом неопределенном поведении.

это можно воспроизвести в следующем примере:

main.cpp

#include <iostream>

int myabs(int);

namespace foo {
    int myabs(int n) {
        return ::myabs(n);
    }
}

int myabs(int n) {
    std::cout << "myabs inside main.cpp\n";
    return n > 0 ? n : -n;
}

using namespace foo;

int main() {
    int k = -1;

    std::cout << foo::myabs(k) << std::endl;
}

myabs.cpp

#include <iostream>

int myabs(int n) {
    std::cout << "myabs inside myabs.cpp\n";
    return n > 0 ? n : -n;
}

затем в командной строке:

g++ -fPIC -c myabs.cpp
g++ -shared myabs.o -o libmyabs.so
g++ -L. main.cpp -lmyabs

под управлением ./a.out называет myabs определена внутри main.cpp, а если вы комментируете myabs на main.cpp, он вызывает один из myabs.cpp

Как избежать этой проблемы

если вы избегаете объявления функций в глобальном пространстве имен, вы должны в основном избегать этой проблемы.

для вашего примера, если мы вместо этого напишем:

#include <cstdlib>
#include <iostream>

namespace {
    int abs(int n) {
        return n > 0 ? n : -n;
    }
}

using namespace std;

int main() {
    int k;

    cin >> k;

    cout << abs(k) << endl;
}

мы получаем ожидаемое предупреждение об ошибке о неоднозначности вызова. Однако имейте в виду, что это не решает проблему, если стандартная библиотека объявляет abs в глобальном пространстве имен:

int main() {
    int k;

    cin >> k;

    cout << ::abs(k) << endl;
}

это, кажется, просто вызов стандартной версии библиотеки. Естественно, этой проблемы можно избежать, избегая using namespace std