c++ с использованием объявления, области видимости и контроля доступа

Обычно объявление using используется для приведения в область видимости некоторых функций-членов базовых классов, которые в противном случае были бы скрыты. С этой точки зрения это всего лишь механизм, позволяющий сделать доступную информацию более удобной в использовании.
Однако: объявление "using" может также использоваться для изменения ограничений доступа (не только для функций, но и для атрибутов). Например:

class C{
public:
  int a;
  void g(){ cout << "C:g()n"; }
  C() : a(0){}
};

class D : public C{
private:
  using C::a;
  using C::g;
public:
  D() { a = 1; }
};

int main(void){
  D d;
  cout << d.a << endl;  //error: a is inaccessible
  C *cp = &d;
  cout << cp->a << endl; //works
  d.g();  //error: g is inaccessible
  cp->g();  //works
  return 0;
}

Я думаю, что это ограничение доступа в производном классе фактически бесполезно, потому что вы всегда можете получить доступ к g () и a из указателя на базовый класс. Так не должно ли быть хотя бы какое-то предупреждение компилятора? Или было бы еще лучше запретить такое ограничение доступа производным классом? Объявление using-это не единственная возможность добавить ограничения к доступу. Это также можно сделать, переопределив функцию базового класса и поместив ее в раздел с большими ограничениями доступа. Есть ли разумные примеры, когда действительно необходимо ограничить доступ в интернет? таким образом? Если нет, то я не понимаю, почему это должно быть разрешено.

И еще одно: по крайней мере, с g++ один и тот же код хорошо компилируется без слова "using". Это означает для примера выше: можно написать C:: a; и C:: g; вместо использования C:: a; использование C:: g; является ли первое только сокращением для последнего или есть некоторые тонкие различия?

/ / EDIT:
Итак, из обсуждения и ответов ниже мой вывод будет следующим:
- разрешено ограничивать ограничения доступа в производные классы с открытым наследованием
- есть полезные примеры, где его можно было бы использовать
- его использование может вызвать проблемы в сочетании с шаблонами (например, производный класс больше не может быть допустимым параметром для некоторого класса/функции шаблона, хотя его база является)
- более чистый дизайн языка не должен допускать такого использования
- компилятор мог бы по крайней мере выдать какое-то предупреждение